equal
deleted
inserted
replaced
230 INCOMPATIBILITY, use @{context} instead. |
230 INCOMPATIBILITY, use @{context} instead. |
231 |
231 |
232 |
232 |
233 *** System *** |
233 *** System *** |
234 |
234 |
235 * Discontinued "isabelle usedir" option -P (remote path) and -r (reset |
235 * Discontinued obsolete isabelle usedir, mkdir, make -- superseded by |
236 session path). Note that usedir is legacy and superseded by "isabelle |
236 "isabelle build" in Isabelle2013. INCOMPATIBILITY. |
237 build" since Isabelle2013. |
|
238 |
237 |
239 |
238 |
240 |
239 |
241 New in Isabelle2013 (February 2013) |
240 New in Isabelle2013 (February 2013) |
242 ----------------------------------- |
241 ----------------------------------- |