| Mon, 10 Sep 2012 12:13:39 +0200 |
wenzelm |
more explicit indication of legacy features;
|
file |
diff |
annotate
|
| Fri, 07 Sep 2012 08:20:18 +0200 |
haftmann |
lattice instances for option type
|
file |
diff |
annotate
|
| Fri, 07 Sep 2012 08:20:18 +0200 |
haftmann |
combinator Option.these
|
file |
diff |
annotate
|
| Tue, 04 Sep 2012 13:06:28 +0900 |
Christian Sternagel |
NEWS; CONTRIBUTORS
|
file |
diff |
annotate
|
| Mon, 03 Sep 2012 11:09:25 +0200 |
wenzelm |
"isabelle logo" produces EPS and PDF format simultaneously;
|
file |
diff |
annotate
|
| Wed, 29 Aug 2012 20:16:22 +0200 |
wenzelm |
provide polyml-5.4.1 as regular component;
|
file |
diff |
annotate
|
| Wed, 29 Aug 2012 11:48:45 +0200 |
wenzelm |
renamed Position.str_of to Position.here;
|
file |
diff |
annotate
|
| Tue, 28 Aug 2012 17:17:25 +0200 |
blanchet |
updated NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| Mon, 27 Aug 2012 16:10:54 +0200 |
wenzelm |
clarified "isabelle logo";
|
file |
diff |
annotate
|
| Wed, 22 Aug 2012 22:47:16 +0200 |
wenzelm |
'ML_file' evaluates ML text from a file directly within the theory, without predeclaration via 'uses';
|
file |
diff |
annotate
|
| Fri, 17 Aug 2012 17:35:07 +0200 |
wenzelm |
some explanations on isabelle components;
|
file |
diff |
annotate
|
| Tue, 14 Aug 2012 11:43:08 +0200 |
wenzelm |
support for 'typ' with explicit sort constraint;
|
file |
diff |
annotate
|
| Wed, 08 Aug 2012 14:45:40 +0200 |
wenzelm |
discontinued obsolete "isabelle makeall";
|
file |
diff |
annotate
|
| Tue, 07 Aug 2012 23:43:05 +0200 |
wenzelm |
discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution;
|
file |
diff |
annotate
|
| Mon, 06 Aug 2012 16:05:29 +0200 |
wenzelm |
"isabelle options" prints Isabelle system options;
|
file |
diff |
annotate
|