Thu, 03 Mar 2016 11:59:03 +0100 | wenzelm | clarified modules; | file | diff | annotate |
Tue, 09 Jul 2013 13:16:10 +0200 | wenzelm | tuned; | file | diff | annotate |
Thu, 24 May 2012 15:33:45 +0200 | wenzelm | simplified Poly/ML setup -- 5.3.0 is now the common base-line; | file | diff | annotate |
Mon, 09 Apr 2012 15:10:52 +0200 | wenzelm | added ML pretty-printing; | file | diff | annotate |
Fri, 26 Aug 2011 21:27:58 +0200 | wenzelm | tuned signature -- iterate subsumes both fold and get_first; | file | diff | annotate |
Fri, 26 Aug 2011 15:09:54 +0200 | wenzelm | refined document state assignment: observe perspective, more explicit assignment message; | file | diff | annotate |
Thu, 25 Aug 2011 16:44:06 +0200 | wenzelm | propagate information about last command with exec state assignment through document model; | 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 |