1.1 --- a/etc/isar-keywords-ZF.el Mon Nov 23 22:47:08 2009 +0100
1.2 +++ b/etc/isar-keywords-ZF.el Mon Nov 23 22:47:41 2009 +0100
1.3 @@ -19,6 +19,7 @@
1.4 "ProofGeneral\\.inform_file_processed"
1.5 "ProofGeneral\\.inform_file_retracted"
1.6 "ProofGeneral\\.kill_proof"
1.7 + "ProofGeneral\\.pr"
1.8 "ProofGeneral\\.process_pgip"
1.9 "ProofGeneral\\.restart"
1.10 "ProofGeneral\\.undo"
1.11 @@ -271,6 +272,7 @@
1.12 (defconst isar-keywords-diag
1.13 '("ML_command"
1.14 "ML_val"
1.15 + "ProofGeneral\\.pr"
1.16 "cd"
1.17 "class_deps"
1.18 "commit"
2.1 --- a/etc/isar-keywords.el Mon Nov 23 22:47:08 2009 +0100
2.2 +++ b/etc/isar-keywords.el Mon Nov 23 22:47:41 2009 +0100
2.3 @@ -19,6 +19,7 @@
2.4 "ProofGeneral\\.inform_file_processed"
2.5 "ProofGeneral\\.inform_file_retracted"
2.6 "ProofGeneral\\.kill_proof"
2.7 + "ProofGeneral\\.pr"
2.8 "ProofGeneral\\.process_pgip"
2.9 "ProofGeneral\\.restart"
2.10 "ProofGeneral\\.undo"
2.11 @@ -345,6 +346,7 @@
2.12 (defconst isar-keywords-diag
2.13 '("ML_command"
2.14 "ML_val"
2.15 + "ProofGeneral\\.pr"
2.16 "atp_info"
2.17 "atp_kill"
2.18 "atp_messages"