| 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 |
| Thu, 12 May 2011 16:28:46 +0200 | wenzelm | minor adaption for scala-2.9.0.final; | file | diff | annotate |
| Sun, 22 Aug 2010 22:09:14 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 17 Aug 2010 15:10:49 +0200 | wenzelm | added functor Linear_Set, based on former adhoc structures in document.ML; | file | diff | annotate |