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 |