updated keywords;
authorwenzelm
Fri Aug 06 14:37:04 2010 +0200 (2010-08-06)
changeset 38219521f10c13e61
parent 38218 1408f753bd75
child 38220 b30aa2dbedca
updated keywords;
etc/isar-keywords-ZF.el
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords-ZF.el	Fri Aug 06 14:35:04 2010 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Fri Aug 06 14:37:04 2010 +0200
     1.3 @@ -8,10 +8,8 @@
     1.4    '("\\."
     1.5      "\\.\\."
     1.6      "Isabelle\\.command"
     1.7 -    "Isar\\.begin_document"
     1.8      "Isar\\.define_command"
     1.9      "Isar\\.edit_document"
    1.10 -    "Isar\\.end_document"
    1.11      "ML"
    1.12      "ML_command"
    1.13      "ML_prf"
    1.14 @@ -258,10 +256,8 @@
    1.15  
    1.16  (defconst isar-keywords-control
    1.17    '("Isabelle\\.command"
    1.18 -    "Isar\\.begin_document"
    1.19      "Isar\\.define_command"
    1.20      "Isar\\.edit_document"
    1.21 -    "Isar\\.end_document"
    1.22      "ProofGeneral\\.inform_file_processed"
    1.23      "ProofGeneral\\.inform_file_retracted"
    1.24      "ProofGeneral\\.kill_proof"
     2.1 --- a/etc/isar-keywords.el	Fri Aug 06 14:35:04 2010 +0200
     2.2 +++ b/etc/isar-keywords.el	Fri Aug 06 14:37:04 2010 +0200
     2.3 @@ -8,10 +8,8 @@
     2.4    '("\\."
     2.5      "\\.\\."
     2.6      "Isabelle\\.command"
     2.7 -    "Isar\\.begin_document"
     2.8      "Isar\\.define_command"
     2.9      "Isar\\.edit_document"
    2.10 -    "Isar\\.end_document"
    2.11      "ML"
    2.12      "ML_command"
    2.13      "ML_prf"
    2.14 @@ -322,10 +320,8 @@
    2.15  
    2.16  (defconst isar-keywords-control
    2.17    '("Isabelle\\.command"
    2.18 -    "Isar\\.begin_document"
    2.19      "Isar\\.define_command"
    2.20      "Isar\\.edit_document"
    2.21 -    "Isar\\.end_document"
    2.22      "ProofGeneral\\.inform_file_processed"
    2.23      "ProofGeneral\\.inform_file_retracted"
    2.24      "ProofGeneral\\.kill_proof"