more keywords;
authorwenzelm
Sun Apr 01 22:58:05 2012 +0200 (2012-04-01)
changeset 4726287ba9d3e1020
parent 47261 551b762a723c
child 47263 434d9dd99523
more keywords;
Admin/update-keywords
etc/isar-keywords.el
     1.1 --- a/Admin/update-keywords	Sun Apr 01 22:40:15 2012 +0200
     1.2 +++ b/Admin/update-keywords	Sun Apr 01 22:58:05 2012 +0200
     1.3 @@ -13,7 +13,7 @@
     1.4  isabelle keywords \
     1.5    "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/HOL-Boogie.gz" \
     1.6    "$LOG/HOL-Library.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" \
     1.7 -  "$LOG/HOL-SPARK.gz" "$LOG/HOL-TPTP.gz"
     1.8 +  "$LOG/HOL-SPARK.gz" "$LOG/HOL-TPTP.gz" "$LOG/HOL-HOL_Light.gz"
     1.9  
    1.10  isabelle keywords -k ZF \
    1.11    "$LOG/Pure.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
     2.1 --- a/etc/isar-keywords.el	Sun Apr 01 22:40:15 2012 +0200
     2.2 +++ b/etc/isar-keywords.el	Sun Apr 01 22:58:05 2012 +0200
     2.3 @@ -1,6 +1,6 @@
     2.4  ;;
     2.5  ;; Keyword classification tables for Isabelle/Isar.
     2.6 -;; Generated from Pure + HOL + HOLCF + HOL-Boogie + HOL-Library + HOL-Nominal + HOL-Statespace + HOL-SPARK + HOL-TPTP.
     2.7 +;; Generated from Pure + HOL + HOLCF + HOL-Boogie + HOL-Library + HOL-Nominal + HOL-Statespace + HOL-SPARK + HOL-TPTP + HOL-HOL_Light.
     2.8  ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT ***
     2.9  ;;
    2.10  
    2.11 @@ -108,7 +108,10 @@
    2.12      "hide_const"
    2.13      "hide_fact"
    2.14      "hide_type"
    2.15 +    "import_const_map"
    2.16 +    "import_file"
    2.17      "import_tptp"
    2.18 +    "import_type_map"
    2.19      "include"
    2.20      "including"
    2.21      "inductive"
    2.22 @@ -491,7 +494,10 @@
    2.23      "hide_const"
    2.24      "hide_fact"
    2.25      "hide_type"
    2.26 +    "import_const_map"
    2.27 +    "import_file"
    2.28      "import_tptp"
    2.29 +    "import_type_map"
    2.30      "inductive"
    2.31      "inductive_set"
    2.32      "instantiation"