changeset 33874 | 1db5ca5eadf5 |
parent 33685 | 29106208ccf7 |
child 35279 | 4f6760122b2a |
--- a/etc/isar-keywords-ZF.el Mon Nov 23 22:47:08 2009 +0100 +++ b/etc/isar-keywords-ZF.el Mon Nov 23 22:47:41 2009 +0100 @@ -19,6 +19,7 @@ "ProofGeneral\\.inform_file_processed" "ProofGeneral\\.inform_file_retracted" "ProofGeneral\\.kill_proof" + "ProofGeneral\\.pr" "ProofGeneral\\.process_pgip" "ProofGeneral\\.restart" "ProofGeneral\\.undo" @@ -271,6 +272,7 @@ (defconst isar-keywords-diag '("ML_command" "ML_val" + "ProofGeneral\\.pr" "cd" "class_deps" "commit"