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