| Sat, 13 Jul 2013 13:58:13 +0200 | wenzelm | gutter icon for information messages; | changeset | files |
| Sat, 13 Jul 2013 13:25:42 +0200 | wenzelm | more explicit Markup.information for messages produced by "auto" tools; | changeset | files |
| Sat, 13 Jul 2013 12:39:45 +0200 | wenzelm | full merge of Command.State, which enables Command.prints to augment markup as well (assuming that these dynamic overlays are relatively few); | changeset | files |
| Sat, 13 Jul 2013 00:50:49 +0200 | wenzelm | hybrid "auto" tool setup, for TTY (within theory) and PIDE (global print function); | changeset | files |
| Sat, 13 Jul 2013 00:24:05 +0200 | wenzelm | compile | changeset | files |
| Fri, 12 Jul 2013 23:45:05 +0200 | wenzelm | system options for Isabelle/HOL proof tools; | changeset | files |