Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/lib/Tools/update_keywords
author hoelzl
Wed, 09 Apr 2014 09:37:48 +0200
changeset 56480 093ea91498e6
parent 53403 c09f4005d6bd
permissions -rwxr-xr-x
field_simps: better support for negation and division, and power
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
 
#
48726
0bc8d90d2717 proper isabelle update_keywords tool;
wenzelm
parents: 48709
diff changeset 
     5
 
# DESCRIPTION: update standard keyword files for Emacs Proof General
53403
c09f4005d6bd some explicit indication of Proof General legacy;
wenzelm
parents: 52443
diff changeset 
     6
 
# (Proof General legacy)
21301
8ebeab377939 Update standard keyword files.
wenzelm
parents:
diff changeset 
     7
 







52443






725916b7dee5
more formal isabelle_admin_build;



wenzelm


parents: 
52439

diff
changeset




     8


isabelle_admin_build jars || exit $?








52439






4cf3f6153eb8
improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first;



wenzelm


parents: 
49510

diff
changeset




     9














4cf3f6153eb8
improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first;



wenzelm


parents: 
49510

diff
changeset




    10


declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS)"








24884






d1e7c1b45c8d
emacs vs. jedit;



wenzelm


parents: 
24878

diff
changeset




    11














d1e7c1b45c8d
emacs vs. jedit;



wenzelm


parents: 
24878

diff
changeset




    12


cd "$ISABELLE_HOME/etc"













d1e7c1b45c8d
emacs vs. jedit;



wenzelm


parents: 
24878

diff
changeset




    13









52439






4cf3f6153eb8
improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first;



wenzelm


parents: 
49510

diff
changeset




    14


"$ISABELLE_TOOL" java "${JAVA_ARGS[@]}" isabelle.Keywords update_keywords








24878






7ed3077528b6
use isatool keywords -- generate from logs instead of session images;



wenzelm


parents: 
23694

diff
changeset




    15
















isabelle