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
Fri, 16 Aug 2013 21:33:36 +0200
changeset 53043 8cbfbeb566a4
parent 52443 725916b7dee5
child 53403 c09f4005d6bd
permissions -rwxr-xr-x
more standard attribute_setup / method_setup -- export key ML operations instead of parsers;
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
 







52443






725916b7dee5
more formal isabelle_admin_build;



wenzelm


parents: 
52439

diff
changeset




     7


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




     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