| Sat, 02 Apr 2016 21:10:07 +0200 |
wenzelm |
careful export of type-dependent functions, without losing their special status;
|
file |
diff |
annotate
|
| 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
|