isabelle: Admin/update-keywords@74366d50cf2b (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	# $Id$
8ebeab377939 Update standard keyword files. wenzelm parents: diff changeset	4	# Author: Makarius
8ebeab377939 Update standard keyword files. wenzelm parents: diff changeset	5	#
8ebeab377939 Update standard keyword files. wenzelm parents: diff changeset	6	# DESCRIPTION: Update standard keyword files.
8ebeab377939 Update standard keyword files. wenzelm parents: diff changeset	7
28504 7ad7d7d6df47 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; wenzelm parents: 28481 diff changeset	8	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	9	LOG="$(isabelle getenv -b ISABELLE_OUTPUT)"/log
23694 431782022495 cd ISABELLE_HOME/etc; wenzelm parents: 21301 diff changeset	10
24884 d1e7c1b45c8d emacs vs. jedit; wenzelm parents: 24878 diff changeset	11
d1e7c1b45c8d emacs vs. jedit; wenzelm parents: 24878 diff changeset	12	## Emacs ProofGeneral
d1e7c1b45c8d emacs vs. jedit; wenzelm parents: 24878 diff changeset	13
d1e7c1b45c8d emacs vs. jedit; wenzelm parents: 24878 diff changeset	14	cd "$ISABELLE_HOME/etc"
d1e7c1b45c8d emacs vs. jedit; wenzelm parents: 24878 diff changeset	15
28504 7ad7d7d6df47 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; wenzelm parents: 28481 diff changeset	16	isabelle keywords -t emacs \
28481 b1e63755e402 removed HOL-Plain -- already included in HOL; wenzelm parents: 27385 diff changeset	17	"$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" \
25175 66a33a664609 added HOL-Statespace session; wenzelm parents: 24903 diff changeset	18	"$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" "$LOG/HOL-Statespace.gz"
24878 7ed3077528b6 use isatool keywords -- generate from logs instead of session images; wenzelm parents: 23694 diff changeset	19
28504 7ad7d7d6df47 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; wenzelm parents: 28481 diff changeset	20	isabelle keywords -t emacs -k ZF \
24884 d1e7c1b45c8d emacs vs. jedit; wenzelm parents: 24878 diff changeset	21	"$LOG/Pure.gz" "$LOG/Pure-ProofGeneral.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"
d1e7c1b45c8d emacs vs. jedit; wenzelm parents: 24878 diff changeset	22
d1e7c1b45c8d emacs vs. jedit; wenzelm parents: 24878 diff changeset	23
d1e7c1b45c8d emacs vs. jedit; wenzelm parents: 24878 diff changeset	24	## jEdit
d1e7c1b45c8d emacs vs. jedit; wenzelm parents: 24878 diff changeset	25
d1e7c1b45c8d emacs vs. jedit; wenzelm parents: 24878 diff changeset	26	cd "$ISABELLE_HOME/lib/jedit"
d1e7c1b45c8d emacs vs. jedit; wenzelm parents: 24878 diff changeset	27
28504 7ad7d7d6df47 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; wenzelm parents: 28481 diff changeset	28	isabelle keywords -t jedit \
28481 b1e63755e402 removed HOL-Plain -- already included in HOL; wenzelm parents: 27385 diff changeset	29	"$LOG/Pure.gz" "$LOG/HOL.gz" "$LOG/HOLCF.gz" "$LOG/IOA.gz" "$LOG/HOL-Nominal.gz" \
b1e63755e402 removed HOL-Plain -- already included in HOL; wenzelm parents: 27385 diff changeset	30	"$LOG/HOL-Statespace.gz" "$LOG/FOL.gz" "$LOG/ZF.gz"

author	blanchet
	Tue, 10 Feb 2009 14:58:15 +0100
changeset 29871	74366d50cf2b
parent 28504	7ad7d7d6df47
child 33684	29d8aaeb56e5
permissions	-rwxr-xr-x