equal
deleted
inserted
replaced
22 [ -z "$ISABELLE_LINE_EDITOR" ] && ISABELLE_LINE_EDITOR="$(type -p rlwrap)" |
22 [ -z "$ISABELLE_LINE_EDITOR" ] && ISABELLE_LINE_EDITOR="$(type -p rlwrap)" |
23 [ -z "$ISABELLE_LINE_EDITOR" ] && ISABELLE_LINE_EDITOR="$(type -p ledit)" |
23 [ -z "$ISABELLE_LINE_EDITOR" ] && ISABELLE_LINE_EDITOR="$(type -p ledit)" |
24 |
24 |
25 |
25 |
26 ### |
26 ### |
27 ### Batch sessions |
27 ### Batch sessions (cf. isabelle build) |
28 ### |
28 ### |
29 |
29 |
30 #cf. isabelle usedir |
|
31 ISABELLE_USEDIR_OPTIONS="-M max -p 1 -q 2 -v true -V outline=/proof,/ML" |
|
32 |
|
33 #cf. isabelle build |
|
34 ISABELLE_BUILD_OPTIONS="" |
30 ISABELLE_BUILD_OPTIONS="" |
35 ISABELLE_BUILD_JAVA_OPTIONS="-Xmx1024m -Xss1m" |
31 ISABELLE_BUILD_JAVA_OPTIONS="-Xmx1024m -Xss1m" |
36 |
32 |
37 |
33 |
38 ### |
34 ### |