changeset 29070 | 1b8b46d90112 |
parent 28995 | d59b8124f1f5 |
child 29145 | b1c6f4563df7 |
29069:c7ba485581ae | 29070:1b8b46d90112 |
---|---|
95 |
95 |
96 ### |
96 ### |
97 ### Batch sessions (cf. isabelle usedir) |
97 ### Batch sessions (cf. isabelle usedir) |
98 ### |
98 ### |
99 |
99 |
100 ISABELLE_USEDIR_OPTIONS="-p 1 -v true -V outline=/proof,/ML" |
100 ISABELLE_USEDIR_OPTIONS="-M max -p 1 -v true -V outline=/proof,/ML" |
101 |
101 |
102 # Specifically for the HOL image |
102 # Specifically for the HOL image |
103 HOL_USEDIR_OPTIONS="" |
103 HOL_USEDIR_OPTIONS="" |
104 #HOL_USEDIR_OPTIONS="-p 2" |
104 #HOL_USEDIR_OPTIONS="-p 2" |
105 |
105 |