Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
updated generated file;
authorwenzelm
Wed, 16 Jul 2008 16:39:11 +0200
changeset 27621d96bd54d7446
parent 27620 dfecac40e4be
child 27622 86608f598e9f
updated generated file;
etc/isar-keywords-ZF.el file | annotate | diff | comparison | revisions
etc/isar-keywords.el file | annotate | diff | comparison | revisions
lib/jedit/isabelle.xml file | annotate | diff | comparison | revisions 
     1.1 --- a/etc/isar-keywords-ZF.el	Wed Jul 16 16:17:26 2008 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Wed Jul 16 16:39:11 2008 +0200
     1.3 @@ -10,6 +10,9 @@
     1.4    '("\\."
     1.5      "\\.\\."
     1.6      "Isabelle\\.command"
     1.7 +    "Isar\\.command"
     1.8 +    "Isar\\.insert"
     1.9 +    "Isar\\.remove"
    1.10      "ML"
    1.11      "ML_command"
    1.12      "ML_val"
    1.13 @@ -246,6 +249,9 @@
    1.14  
    1.15  (defconst isar-keywords-control
    1.16    '("Isabelle\\.command"
    1.17 +    "Isar\\.command"
    1.18 +    "Isar\\.insert"
    1.19 +    "Isar\\.remove"
    1.20      "ProofGeneral\\.inform_file_processed"
    1.21      "ProofGeneral\\.inform_file_retracted"
    1.22      "ProofGeneral\\.kill_proof"

     2.1 --- a/etc/isar-keywords.el	Wed Jul 16 16:17:26 2008 +0200
     2.2 +++ b/etc/isar-keywords.el	Wed Jul 16 16:39:11 2008 +0200
     2.3 @@ -10,6 +10,9 @@
     2.4    '("\\."
     2.5      "\\.\\."
     2.6      "Isabelle\\.command"
     2.7 +    "Isar\\.command"
     2.8 +    "Isar\\.insert"
     2.9 +    "Isar\\.remove"
    2.10      "ML"
    2.11      "ML_command"
    2.12      "ML_val"
    2.13 @@ -300,6 +303,9 @@
    2.14  
    2.15  (defconst isar-keywords-control
    2.16    '("Isabelle\\.command"
    2.17 +    "Isar\\.command"
    2.18 +    "Isar\\.insert"
    2.19 +    "Isar\\.remove"
    2.20      "ProofGeneral\\.inform_file_processed"
    2.21      "ProofGeneral\\.inform_file_retracted"
    2.22      "ProofGeneral\\.kill_proof"

     3.1 --- a/lib/jedit/isabelle.xml	Wed Jul 16 16:17:26 2008 +0200
     3.2 +++ b/lib/jedit/isabelle.xml	Wed Jul 16 16:39:11 2008 +0200
     3.3 @@ -36,6 +36,9 @@
     3.4        <OPERATOR>.</OPERATOR>
     3.5        <OPERATOR>..</OPERATOR>
     3.6        <INVALID>Isabelle.command</INVALID>
     3.7 +      <INVALID>Isar.command</INVALID>
     3.8 +      <INVALID>Isar.insert</INVALID>
     3.9 +      <INVALID>Isar.remove</INVALID>
    3.10        <OPERATOR>ML</OPERATOR>
    3.11        <LABEL>ML_command</LABEL>
    3.12        <LABEL>ML_val</LABEL>
wneuper/isa