| Wed, 11 Aug 2010 23:46:38 +0200 | wenzelm | Document.print_id; | changeset | files |
| Wed, 11 Aug 2010 23:29:17 +0200 | wenzelm | consider command state as part of Snapshot, not Document; | changeset | files |
| Wed, 11 Aug 2010 22:41:26 +0200 | wenzelm | represent document ids by (long) int, to benefit from the somewhat faster Inttab in ML (LinearSet in Scala is invariably indexed by native object ids); | changeset | files |
| Wed, 11 Aug 2010 18:44:06 +0200 | wenzelm | Named_Target; | changeset | files |
| Wed, 11 Aug 2010 18:41:06 +0200 | wenzelm | modernized specifications; | changeset | files |
| Wed, 11 Aug 2010 18:22:14 +0200 | wenzelm | spelling; | changeset | files |