Sun, 01 Aug 2010 23:15:26 +0200 | blanchet | fix minor bug in sym breaking | changeset | files |
Fri, 06 Aug 2010 12:37:00 +0200 | wenzelm | modernized specifications; | changeset | files |
Thu, 05 Aug 2010 23:43:43 +0200 | wenzelm | Document_Model: include token marker here; | changeset | files |
Thu, 05 Aug 2010 22:01:25 +0200 | wenzelm | tuned; | changeset | files |
Thu, 05 Aug 2010 21:56:38 +0200 | wenzelm | misc tuning -- produce reverse_edits at most once (note that foldRight produces a reversed list internally, while recursion is infisible due to small stack vs. large stack frames on JVM); | changeset | files |
Thu, 05 Aug 2010 21:40:20 +0200 | wenzelm | editor mode; | changeset | files |