DESCRIPTION: index "modern syntax"

HOL-Theorem-Prover · Oct 11, 2024 · 03e6a40 · 03e6a40
1 parent daa2bab
commit 03e6a40
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Manual/Description/description.tex b/Manual/Description/description.tex
@@ -130,6 +130,8 @@
    % Index
    % ---------------------------------------------------------------------
 
+\index{modern syntax@``modern syntax''|see{special syntactic forms for scripts}}
+
 \small
 \emergencystretch=14pt
 \printindex