| 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 |