| Mon, 27 Feb 2012 17:13:25 +0100 | wenzelm | prefer final ADTs -- prevent ooddities; | file | diff | annotate |
| Sun, 26 Feb 2012 19:20:46 +0100 | wenzelm | more PIDE modules; | file | diff | annotate |
| Thu, 23 Feb 2012 18:38:30 +0100 | wenzelm | streamlined abstract datatype, eliminating odd representation class; | file | diff | annotate |
| Thu, 23 Feb 2012 18:14:58 +0100 | wenzelm | tuned; | file | diff | annotate |