# HG changeset patch # User wenzelm # Date 1333313885 -7200 # Node ID 87ba9d3e10209e372fc145818edd57386a2faa93 # Parent 551b762a723c69970e2481ca6a7647164d19982f more keywords; diff -r 551b762a723c -r 87ba9d3e1020 Admin/update-keywords --- a/Admin/update-keywords Sun Apr 01 22:40:15 2012 +0200 +++ b/Admin/update-keywords Sun Apr 01 22:58:05 2012 +0200 @@ -13,7 +13,7 @@ isabelle keywords \ "$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/HOL-Boogie.gz" \ "$LOG/HOL-Library.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" \ - "$LOG/HOL-SPARK.gz" "$LOG/HOL-TPTP.gz" + "$LOG/HOL-SPARK.gz" "$LOG/HOL-TPTP.gz" "$LOG/HOL-HOL_Light.gz" isabelle keywords -k ZF \ "$LOG/Pure.gz" "$LOG/FOL.gz" "$LOG/ZF.gz" diff -r 551b762a723c -r 87ba9d3e1020 etc/isar-keywords.el --- a/etc/isar-keywords.el Sun Apr 01 22:40:15 2012 +0200 +++ b/etc/isar-keywords.el Sun Apr 01 22:58:05 2012 +0200 @@ -1,6 +1,6 @@ ;; ;; Keyword classification tables for Isabelle/Isar. -;; Generated from Pure + HOL + HOLCF + HOL-Boogie + HOL-Library + HOL-Nominal + HOL-Statespace + HOL-SPARK + HOL-TPTP. +;; Generated from Pure + HOL + HOLCF + HOL-Boogie + HOL-Library + HOL-Nominal + HOL-Statespace + HOL-SPARK + HOL-TPTP + HOL-HOL_Light. ;; *** DO NOT EDIT *** DO NOT EDIT *** DO NOT EDIT *** ;; @@ -108,7 +108,10 @@ "hide_const" "hide_fact" "hide_type" + "import_const_map" + "import_file" "import_tptp" + "import_type_map" "include" "including" "inductive" @@ -491,7 +494,10 @@ "hide_const" "hide_fact" "hide_type" + "import_const_map" + "import_file" "import_tptp" + "import_type_map" "inductive" "inductive_set" "instantiation"