using:vscode:boxed_comments

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

using:vscode:boxed_comments [2024/10/19 20:23] – created fponziusing:vscode:boxed_comments [2024/10/19 20:23] (current) – fponzi
Line 1: Line 1:
-It’s a common practice to use boxed comments in TLA<html><sup></html>+<html></sup></html> specifications:+====== Boxed Comments ====== 
 + 
 +It’s a common practice to use boxed comments in TLA<sup>+</sup> specifications:
  
 <code> <code>
  • using/vscode/boxed_comments.1729369392.txt.gz
  • Last modified: 2024/10/19 20:23
  • by fponzi