equal
deleted
inserted
replaced
24 |
24 |
25 function isabelle () |
25 function isabelle () |
26 { |
26 { |
27 "$ISABELLE_TOOL" "$@" |
27 "$ISABELLE_TOOL" "$@" |
28 } |
28 } |
|
29 |
|
30 #platform |
|
31 . "$ISABELLE_HOME/lib/scripts/isabelle-platform" |
29 |
32 |
30 #Isabelle distribution identifier -- filled in automatically! |
33 #Isabelle distribution identifier -- filled in automatically! |
31 ISABELLE_IDENTIFIER="" |
34 ISABELLE_IDENTIFIER="" |
32 |
35 |
33 #users tend to put strange things in here ... |
36 #users tend to put strange things in here ... |