equal
deleted
inserted
replaced
57 |
57 |
58 * Sledgehammer: |
58 * Sledgehammer: |
59 |
59 |
60 - Renamed option: |
60 - Renamed option: |
61 isar_shrink ~> isar_compress |
61 isar_shrink ~> isar_compress |
|
62 |
|
63 |
|
64 *** System *** |
|
65 |
|
66 * Discontinued "isabelle usedir" option -P (remote path) and -r (reset |
|
67 session path). Note that usedir is legacy and superseded by "isabelle |
|
68 build" since Isabelle2013. |
|
69 |
62 |
70 |
63 |
71 |
64 New in Isabelle2013 (February 2013) |
72 New in Isabelle2013 (February 2013) |
65 ----------------------------------- |
73 ----------------------------------- |
66 |
74 |