| 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
|
| Sun, 05 Aug 2012 20:11:32 +0200 |
wenzelm |
more on isabelle mkroot;
|
file |
diff |
annotate
|
| Fri, 03 Aug 2012 12:37:31 +0200 |
wenzelm |
simplified custom document/build script, instead of old-style document/IsaMakefile;
|
file |
diff |
annotate
|
| Tue, 31 Jul 2012 16:23:20 +0200 |
wenzelm |
document variant NAME may use different LaTeX entry point document/root_NAME.tex if that file exists;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2012 20:18:15 +0200 |
wenzelm |
discontinued obsolete Isabelle/build script;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2012 20:12:47 +0200 |
wenzelm |
announce advanced support for Isabelle sessions and build management;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2012 13:11:58 +0200 |
wenzelm |
discontinued special treatment of Proof General;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2012 09:28:03 +0200 |
haftmann |
restrict unqualified imports from Haskell Prelude to a small set of fundamental operations
|
file |
diff |
annotate
|
| Sun, 22 Jul 2012 10:00:51 +0200 |
haftmann |
NEWS
|
file |
diff |
annotate
|