isabelle: Admin/update-keywords@6ee015f6ea4b (annotated)

21301 8ebeab377939 Update standard keyword files. wenzelm parents: diff changeset	1	#!/usr/bin/env bash
8ebeab377939 Update standard keyword files. wenzelm parents: diff changeset	2	#
8ebeab377939 Update standard keyword files. wenzelm parents: diff changeset	3	# Author: Makarius
8ebeab377939 Update standard keyword files. wenzelm parents: diff changeset	4	#
33684 29d8aaeb56e5 generate keywords for Emacs Proof General only; wenzelm parents: 28504 diff changeset	5	# DESCRIPTION: Update standard keyword files for Emacs Proof General
21301 8ebeab377939 Update standard keyword files. wenzelm parents: diff changeset	6
28504 7ad7d7d6df47 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; wenzelm parents: 28481 diff changeset	7	ISABELLE_HOME="$(isabelle getenv -b ISABELLE_HOME)"
7ad7d7d6df47 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; wenzelm parents: 28481 diff changeset	8	LOG="$(isabelle getenv -b ISABELLE_OUTPUT)"/log
23694 431782022495 cd ISABELLE_HOME/etc; wenzelm parents: 21301 diff changeset	9
24884 d1e7c1b45c8d emacs vs. jedit; wenzelm parents: 24878 diff changeset	10
d1e7c1b45c8d emacs vs. jedit; wenzelm parents: 24878 diff changeset	11	cd "$ISABELLE_HOME/etc"
d1e7c1b45c8d emacs vs. jedit; wenzelm parents: 24878 diff changeset	12
33684 29d8aaeb56e5 generate keywords for Emacs Proof General only; wenzelm parents: 28504 diff changeset	13	isabelle keywords \
38837 b47ee8df7ab4 discontinued separate Pure-ProofGeneral keywords session -- protocol commands are already defined in Pure; wenzelm parents: 37785 diff changeset	14	"$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/HOL-Boogie.gz" \
44231 f9799971ca97 include HOL-Library keywords for the sake of recdef; wenzelm parents: 41563 diff changeset	15	"$LOG/HOL-Library.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz" \
47267 4c7548e7df86 merged, manually resolving conflicts due to session renaming (cf. 6488c5efec49) krauss parents: 47262 diff changeset	16	"$LOG/HOL-SPARK.gz" "$LOG/HOL-TPTP.gz" "$LOG/HOL-Import.gz"
24878 7ed3077528b6 use isatool keywords -- generate from logs instead of session images; wenzelm parents: 23694 diff changeset	17
33684 29d8aaeb56e5 generate keywords for Emacs Proof General only; wenzelm parents: 28504 diff changeset	18	isabelle keywords -k ZF \
38837 b47ee8df7ab4 discontinued separate Pure-ProofGeneral keywords session -- protocol commands are already defined in Pure; wenzelm parents: 37785 diff changeset	19	"$LOG/Pure.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
24884 d1e7c1b45c8d emacs vs. jedit; wenzelm parents: 24878 diff changeset	20

author	blanchet
	Tue, 24 Apr 2012 13:56:13 +0200
changeset 47728	6ee015f6ea4b
parent 47267	4c7548e7df86
child 48709	719f458cd89e
permissions	-rwxr-xr-x