| Tue, 01 Sep 2009 21:03:04 +0200 | wenzelm | Isabelle_Process: receiver as Actor, not EventBus; | file | diff | annotate |
| Sat, 29 Aug 2009 10:50:04 +0200 | wenzelm | moved Pure/Tools/isabelle_syntax.scala to Pure/System/isabelle_syntax.scala; | file | diff | annotate |
| Thu, 25 Jun 2009 13:25:35 +0200 | wenzelm | renamed IsabelleProcess to Isabelle_Process; | file | diff | annotate |
| Fri, 02 Jan 2009 15:44:59 +0100 | wenzelm | Isar.command: plain Position.id; | file | diff | annotate |
| Mon, 29 Dec 2008 15:16:01 +0100 | wenzelm | explicit EventBus for results; | file | diff | annotate |
| Sat, 27 Dec 2008 14:57:30 +0100 | wenzelm | proper class IsabelleSystem -- no longer static; | file | diff | annotate |
| Fri, 19 Dec 2008 20:37:29 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Fri, 19 Sep 2008 22:11:50 +0200 | wenzelm | Isar toplevel editor model. | file | diff | annotate |