equal
deleted
inserted
replaced
200 Proofterm.proofs variable for a session. Regular values are are 0, 1, 2; |
200 Proofterm.proofs variable for a session. Regular values are are 0, 1, 2; |
201 a negative value means the current state in the ML heap image remains |
201 a negative value means the current state in the ML heap image remains |
202 unchanged. |
202 unchanged. |
203 |
203 |
204 * Command-line tool "isabelle imports" helps to maintain theory imports |
204 * Command-line tool "isabelle imports" helps to maintain theory imports |
205 wrt. session structure. |
205 wrt. session structure. Examples: |
|
206 |
|
207 isabelle imports -I -a |
|
208 isabelle imports -U -a |
|
209 isabelle imports -M -a -d '~~/src/Benchmarks' |
206 |
210 |
207 |
211 |
208 |
212 |
209 New in Isabelle2016-1 (December 2016) |
213 New in Isabelle2016-1 (December 2016) |
210 ------------------------------------- |
214 ------------------------------------- |