Wed, 16 Jul 2008 16:39:11 +0200 | wenzelm | updated generated file; | changeset | files |
Wed, 16 Jul 2008 16:17:26 +0200 | wenzelm | identify: more informative id in Toplevel.debug mode; | changeset | files |
Wed, 16 Jul 2008 14:28:47 +0200 | wenzelm | shortlogentry/filelogentry: show shortdate and full description; | changeset | files |
Wed, 16 Jul 2008 14:21:57 +0200 | ballarin | Removed uses of context element includes. | changeset | files |
Wed, 16 Jul 2008 11:20:25 +0200 | wenzelm | added Isar.command, Isar.insert, Isar.remove (editor model); | changeset | files |
Wed, 16 Jul 2008 11:20:24 +0200 | wenzelm | export type id with no_id and create_command; | changeset | files |
Tue, 15 Jul 2008 23:36:26 +0200 | wenzelm | tuned; | changeset | files |