changeset 57411 | 451d5b73f8cf |
parent 56980 | 9b1805ff3aae |
child 57450 | df9add9949bb |
child 57488 | 8453d35e4684 |
1.1 --- a/etc/isar-keywords.el Wed Mar 12 21:29:46 2014 +0100 1.2 +++ b/etc/isar-keywords.el Wed Mar 12 21:58:48 2014 +0100 1.3 @@ -170,6 +170,7 @@ 1.4 "primcorec" 1.5 "primcorecursive" 1.6 "primrec" 1.7 + "print_ML_antiquotations" 1.8 "print_abbrevs" 1.9 "print_antiquotations" 1.10 "print_ast_translation" 1.11 @@ -400,6 +401,7 @@ 1.12 "nitpick" 1.13 "pr" 1.14 "prf" 1.15 + "print_ML_antiquotations" 1.16 "print_abbrevs" 1.17 "print_antiquotations" 1.18 "print_attributes"