changeset 47460 | 689311986778 |
parent 46797 | f4f22d87e364 |
child 47512 | 8801a24f9e9a |
1.1 --- a/etc/isar-keywords.el Wed Feb 22 12:30:01 2012 +0100 1.2 +++ b/etc/isar-keywords.el Wed Feb 22 17:22:53 2012 +0100 1.3 @@ -92,6 +92,7 @@ 1.4 "finally" 1.5 "find_consts" 1.6 "find_theorems" 1.7 + "find_unused_assms" 1.8 "fix" 1.9 "fixrec" 1.10 "from" 1.11 @@ -358,6 +359,7 @@ 1.12 "export_code" 1.13 "find_consts" 1.14 "find_theorems" 1.15 + "find_unused_assms" 1.16 "full_prf" 1.17 "header" 1.18 "help"