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 wenzelm
Mon, 24 Jun 2013 23:33:14 +0200
changeset 52439 4cf3f6153eb8
parent 49510 ba50d204095e
child 52443 725916b7dee5
permissions -rwxr-xr-x
improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first; tuned signature;
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
21301
8ebeab377939 Update standard keyword files.
wenzelm
parents:
diff changeset 
     6
 







52439






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



wenzelm


parents: 
49510

diff
changeset




     7


[ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" jars || exit $?; }













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



wenzelm


parents: 
49510

diff
changeset




     8














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



wenzelm


parents: 
49510

diff
changeset




     9


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








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









52439






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



wenzelm


parents: 
49510

diff
changeset




    13


"$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




    14
















isabelle