| Sat, 18 Sep 2010 16:05:12 +0200 | wenzelm | separate Isabelle.logic_selector; | changeset | files |
| Sat, 18 Sep 2010 15:50:29 +0200 | wenzelm | non-editable text area; | changeset | files |
| Sat, 18 Sep 2010 14:28:42 +0200 | wenzelm | basic setup for prover session panel; | changeset | files |
| Fri, 17 Sep 2010 22:42:07 +0200 | wenzelm | ML_Syntax.print_char: more readable output of some well-known ASCII controls -- this is relevant for ML toplevel pp; | changeset | files |
| Fri, 17 Sep 2010 22:17:57 +0200 | wenzelm | discontinued Output.debug, which belongs to early PGIP experiments (b6788dbd2ef9) and causes just too many problems (like spamming the message channel if it is used by more than one module); | changeset | files |
| Fri, 17 Sep 2010 21:50:44 +0200 | wenzelm | Isabelle_Markup.overview_color: indicate error / warning messages; | changeset | files |