CVS difference for arm/progs/command.txt

Differences between 1.2 and version 1.3
Log of other versions for file arm/progs/command.txt

--- arm/progs/command.txt	2000/09/27 00:15:38	1.2
+++ arm/progs/command.txt	2000/09/29 05:35:40	1.3
@@ -217,7 +217,9 @@
 @RefSecNum{<title>} - Generates a reference to the clause "title". (This must
 	match exactly except for case). The reference is of the form
 	"<clause number>".
-
+@RefSecbyNum{<num>} - Generates a reference to the clause with <num> as a
+	clause number. This is intended to be used internally to the tool,
+	not in document source (the tool assigns the clause numbers).
 
 -- Ada specific commands:
 @nt{<text>} - A non-terminal in normal text. This will be set in a Swiss

Questions? Ask the ACAA Technical Agent