aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar-keywords.el
diff options
context:
space:
mode:
authorGravatar Makarius Wenzel <makarius@sketis.net>1999-08-03 13:47:07 +0000
committerGravatar Makarius Wenzel <makarius@sketis.net>1999-08-03 13:47:07 +0000
commit7cc6c531bb6034efe3b4d05f8e170afd7f27a3e2 (patch)
treecb7994ba5c5ddedc0298cecce64f66d4a83ba4bd /isar/isar-keywords.el
parent21270199c9137cc836247d6d219e9ef84e4e14cd (diff)
updated;
Diffstat (limited to 'isar/isar-keywords.el')
-rw-r--r--isar/isar-keywords.el4
1 files changed, 3 insertions, 1 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el
index 9d011c64..61526572 100644
--- a/isar/isar-keywords.el
+++ b/isar/isar-keywords.el
@@ -102,7 +102,6 @@
"oracle"
"parse_ast_translation"
"parse_translation"
- "path"
"primrec"
"print_ast_translation"
"print_translation"
@@ -157,6 +156,9 @@
'("also"
"let"
"note"
+ "sect"
+ "subsect"
+ "subsubsect"
"txt"))
(defconst isar-keywords-proof-asm