Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Isabelle
author Walther Neuper <neuper@ist.tugraz.at>
Wed, 08 Sep 2010 16:47:22 +0200
branchisac-update-Isa09-2
changeset 37991 028442673981
parent 34282 549969a7f582
child 40829 fbac01813bff
permissions -rwxr-xr-x
tuned src + test

find . -type f -exec sed -i s/nadd_divide_distrib/add_divide_distrib/g {} \;
find . -type f -exec sed -i s/"\.thy\""/"\""/g {} \;
find . -type f -exec sed -i s/" indexname_ord"/" Term_Ord.indexname_ord"/g {} \;
find . -type f -exec sed -i s/"(string_of_cterm o cterm_of(sign_of thy))"/"(Syntax.string_of_term (thy2ctxt thy))"/g {} \;
find . -type f -exec sed -i s/" L_"/" L_L"/g {} \;
find . -type f -exec sed -i s/" L_:"/" L_L:"/g {} \;
find . -type f -exec sed -i s/"e_;"/"e_e;"/g {} \;
find . -type f -exec sed -i s/"v_)"/"v_v)"/g {} \;
find . -type f -exec sed -i s/"v_:"/"v_v:"/g {} \; 
     1 #!/usr/bin/env bash

     2 #

     3 # Author: Makarius

     4 #

     5 # Generic Isabelle application wrapper.

     6 

     7 if [ -L "$0" ]; then

     8   TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"

     9   exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"

    10 fi

    11 

    12 

    13 ## settings

    14 

    15 ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)"

    16 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2

    17 

    18 unset ISABELLE_SETTINGS_PRESENT

    19 unset ISABELLE_SITE_SETTINGS_PRESENT

    20 

    21 

    22 ## main

    23 

    24 [ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars

    25 

    26 CLASSPATH="$(jvmpath "$CLASSPATH")"

    27 exec "$ISABELLE_JAVA" \

    28   "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \

    29   -jar "$(jvmpath "$ISABELLE_HOME/lib/classes/isabelle-scala.jar")" "$@"
wneuper/isa