changeset 19797 | a527b3e1076a |
parent 19655 | f10b141078e7 |
child 19854 | 9c1732a66b0b |
--- a/etc/isar-keywords.el Tue Jun 06 20:42:25 2006 +0200 +++ b/etc/isar-keywords.el Tue Jun 06 20:42:27 2006 +0200 @@ -100,6 +100,7 @@ "instance" "interpret" "interpretation" + "invoke" "judgment" "kill" "kill_thy" @@ -236,8 +237,10 @@ "distinct" "file" "fixes" + "for" "hide_action" "hints" + "if" "imports" "in" "includes" @@ -485,6 +488,7 @@ '("have" "hence" "interpret" + "invoke" "show" "thus"))