shell functions "isabelle-process" and "isabelle" refer to the proper executables statically -- for interactive use or sloppy bash scripts;
authorwenzelm
Mon Jan 04 21:49:47 2010 +0100 (2010-01-04)
changeset 3425414f6df4f473d
parent 34253 5930c6391126
child 34255 2dd2547acb41
shell functions "isabelle-process" and "isabelle" refer to the proper executables statically -- for interactive use or sloppy bash scripts;
lib/scripts/getsettings
     1.1 --- a/lib/scripts/getsettings	Mon Jan 04 20:25:56 2010 +0100
     1.2 +++ b/lib/scripts/getsettings	Mon Jan 04 21:49:47 2010 +0100
     1.3 @@ -25,6 +25,16 @@
     1.4  ISABELLE="$ISABELLE_PROCESS"
     1.5  ISATOOL="$ISABELLE_TOOL"
     1.6  
     1.7 +function isabelle-process ()
     1.8 +{
     1.9 +  "$ISABELLE_PROCESS" "$@"
    1.10 +}
    1.11 +
    1.12 +function isabelle ()
    1.13 +{
    1.14 +  "$ISABELLE_TOOL" "$@"
    1.15 +}
    1.16 +
    1.17  #Isabelle distribution identifier -- filled in automatically!
    1.18  ISABELLE_IDENTIFIER=""
    1.19