Fri, 12 Aug 2011 11:41:26 +0200 | wenzelm | clarified Exn.message; | changeset | files |
Thu, 11 Aug 2011 20:32:44 +0200 | wenzelm | uniform treatment of header edits as document edits; | changeset | files |
Thu, 11 Aug 2011 18:01:28 +0200 | wenzelm | explicit datatypes for document node edits; | changeset | files |