1.1 --- a/etc/isar-keywords.el Wed Aug 17 11:44:02 2005 +0200
1.2 +++ b/etc/isar-keywords.el Wed Aug 17 13:52:53 2005 +0200
1.3 @@ -11,6 +11,7 @@
1.4 "ML"
1.5 "ML_command"
1.6 "ML_setup"
1.7 + "ProofGeneral\\.call_atp"
1.8 "ProofGeneral\\.context_thy_only"
1.9 "ProofGeneral\\.inform_file_processed"
1.10 "ProofGeneral\\.inform_file_retracted"
1.11 @@ -272,6 +273,7 @@
1.12 (defconst isar-keywords-diag
1.13 '("ML"
1.14 "ML_command"
1.15 + "ProofGeneral\\.call_atp"
1.16 "cd"
1.17 "commit"
1.18 "disable_pr"