| Sat, 19 Apr 2014 17:23:05 +0200 | wenzelm | added command 'SML_export' and 'SML_import' for exchange of toplevel bindings; | file | diff | annotate |
| Fri, 21 Mar 2014 20:33:56 +0100 | wenzelm | more qualified names; | file | diff | annotate |
| Tue, 18 Mar 2014 17:39:03 +0100 | wenzelm | clarifed module name; | file | diff | annotate |
| Tue, 18 Mar 2014 16:16:28 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Wed, 12 Mar 2014 21:58:48 +0100 | wenzelm | simplified programming interface to define ML antiquotations -- NB: the transformed context ignores updates of the context parser; | file | diff | annotate |
| Wed, 26 Feb 2014 11:57:52 +0100 | haftmann | prefer proof context over background theory | file | diff | annotate |
| Sun, 23 Feb 2014 10:33:43 +0100 | haftmann | keep only identifiers public which are explicitly requested or demanded by dependencies | file | diff | annotate |