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