Fri, 12 Aug 2016 17:53:55 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Thu, 07 Apr 2016 21:27:17 +0200 |
wenzelm |
explicit handling of recursive ML name space, e.g. relevant for ML_Bootstrap;
|
file |
diff |
annotate
|
Mon, 30 Nov 2015 14:24:51 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
Tue, 07 Oct 2014 21:11:18 +0200 |
wenzelm |
more cartouches;
|
file |
diff |
annotate
|
Tue, 25 Mar 2014 16:54:38 +0100 |
wenzelm |
clarified options ML_source_trace and ML_exception_trace (NB: the latter needs to be a system option, since the context is sometimes not available, e.g. for 'theory' command);
|
file |
diff |
annotate
|
Sun, 02 Mar 2014 19:00:45 +0100 |
wenzelm |
clarified names of antiquotations and markup;
|
file |
diff |
annotate
|
Mon, 09 Dec 2013 12:22:23 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Fri, 27 Sep 2013 11:56:52 +0200 |
wenzelm |
proper latex;
|
file |
diff |
annotate
|
Thu, 26 Sep 2013 22:34:43 +0200 |
wenzelm |
added Isabelle/ML example;
|
file |
diff |
annotate
|