Fix syntax errors in corla.pvs, gitignore tex

Also make delit.pl executable
FreeAndFair · Jul 17, 2017 · 9a2897e · 9a2897e
1 parent 2e9b168
commit 9a2897e
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,5 @@
 docs/book.pdf
 docs/book.html
 specs/*_adt.pvs
+specs/*.tex
+specs/*.dvi
diff --git a/specs/corla.pvs b/specs/corla.pvs
@@ -65,7 +65,7 @@
 %%% \item[@cluster] the FAFESSL name of a cluster
 %%% \item[@explanation] the explanation for an artifact
 %%% \item[%description] a short description of an artifact
-%%% \item[@indexing-<CLAUSE>] a prefix for any indexing <CLAUSE>
+%%% \item[@indexing-CLAUSE] a prefix for any indexing <CLAUSE>
 %%% \end{description}
 
 %%% These suffixes are commonly used:
@@ -568,7 +568,7 @@ BEGIN
   sos_voter_intent_guide: TYPE FROM instructions
 END instructions_forms_reports
 
-%+BEGIN ifr
+%+END ifr
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 

diff --git a/tools/delit.pl b/tools/delit.pl