equal
deleted
inserted
replaced
88 |
88 |
89 ### |
89 ### |
90 ### Batch sessions (cf. isabelle usedir) |
90 ### Batch sessions (cf. isabelle usedir) |
91 ### |
91 ### |
92 |
92 |
93 ISABELLE_USEDIR_OPTIONS="-M max -p 1 -v true -V outline=/proof,/ML" |
93 ISABELLE_USEDIR_OPTIONS="-M 1 -p 1 -v true -V outline=/proof,/ML" |
|
94 #ISABELLE_USEDIR_OPTIONS="-M max -p 1 -v true -V outline=/proof,/ML" |
94 |
95 |
95 # Specifically for the HOL image |
96 # Specifically for the HOL image |
96 HOL_USEDIR_OPTIONS="" |
97 HOL_USEDIR_OPTIONS="" |
97 #HOL_USEDIR_OPTIONS="-p 2 -Q false" |
98 #HOL_USEDIR_OPTIONS="-p 2 -Q false" |
98 |
99 |