| Wed, 01 Dec 2010 20:34:40 +0100 | wenzelm | more abstract/uniform handling of time, preferring seconds as Double; | file | diff | annotate |
| Sat, 06 Nov 2010 18:10:35 +0100 | wenzelm | somewhat more uniform timing markup in ML vs. Scala; | file | diff | annotate |
| Sat, 06 Nov 2010 16:53:07 +0100 | wenzelm | added Markup.Double, Markup.Double_Property; | file | diff | annotate |
| Wed, 22 Sep 2010 16:04:20 +0200 | wenzelm | more content for Session_Dockable; | file | diff | annotate |
| Wed, 22 Sep 2010 13:47:48 +0200 | wenzelm | main Isabelle_Process via Isabelle_System.Managed_Process; | file | diff | annotate |
| Sun, 19 Sep 2010 17:12:34 +0200 | wenzelm | simplified Isabelle_Process message kinds; | file | diff | annotate |
| 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); | file | diff | annotate |