equal
deleted
inserted
replaced
294 * isatool logo -- create instances of the Isabelle logo (as EPS); |
294 * isatool logo -- create instances of the Isabelle logo (as EPS); |
295 |
295 |
296 * print mode 'emacs' reserved for Isamode; |
296 * print mode 'emacs' reserved for Isamode; |
297 |
297 |
298 * support multiple print (ast) translations per constant name; |
298 * support multiple print (ast) translations per constant name; |
|
299 |
|
300 * theorems involving oracles are now printed with a suffixed [!]; |
299 |
301 |
300 |
302 |
301 *** HOL *** |
303 *** HOL *** |
302 |
304 |
303 * there is now a tutorial on Isabelle/HOL (do 'isatool doc tutorial'); |
305 * there is now a tutorial on Isabelle/HOL (do 'isatool doc tutorial'); |