| Wed, 15 Aug 2012 12:36:38 +0200 |
wenzelm |
some updates of "Presenting theories", using mkroot/build instead of former mkdir/make/usedir (which are still present in "Misc");
|
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, 30 Jul 2012 14:11:29 +0200 |
wenzelm |
more uniform usage of "isabelle tool";
|
file |
diff |
annotate
|
| Sat, 28 Jul 2012 14:52:56 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 28 Apr 2012 18:05:19 +0200 |
wenzelm |
some coverage of isabelle env;
|
file |
diff |
annotate
|
| Sat, 28 Apr 2012 17:54:50 +0200 |
wenzelm |
updated system manual for release;
|
file |
diff |
annotate
|
| Wed, 07 Sep 2011 18:01:01 +0200 |
wenzelm |
updated file locations;
|
file |
diff |
annotate
|
| Mon, 27 Jun 2011 22:20:49 +0200 |
wenzelm |
document antiquotations are managed as theory data, with proper name space and entity markup;
|
file |
diff |
annotate
|
| Tue, 11 Jan 2011 20:01:57 +0100 |
wenzelm |
updated to Isabelle2011;
|
file |
diff |
annotate
|
| Tue, 11 Jan 2011 19:55:34 +0100 |
wenzelm |
isabelle version -i;
|
file |
diff |
annotate
|
| Mon, 29 Nov 2010 11:27:39 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Mon, 08 Nov 2010 00:00:47 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Tue, 04 Aug 2009 16:11:11 +0200 |
wenzelm |
turned object-logics into components;
|
file |
diff |
annotate
|
| Mon, 20 Jul 2009 20:03:19 +0200 |
wenzelm |
removed obsolete CVS Ids;
|
file |
diff |
annotate
|
| Sun, 07 Jun 2009 19:07:05 +0200 |
wenzelm |
isabelle getenv: option -d;
|
file |
diff |
annotate
|
| Sun, 30 Nov 2008 14:03:46 +0100 |
wenzelm |
removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
|
file |
diff |
annotate
|
| Sat, 04 Oct 2008 17:40:58 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
| Tue, 16 Sep 2008 17:28:37 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 16 Sep 2008 17:16:25 +0200 |
wenzelm |
separate emacs tool for Proof General / Emacs;
|
file |
diff |
annotate
|
| Tue, 16 Sep 2008 14:40:30 +0200 |
wenzelm |
misc tuning and modernization;
|
file |
diff |
annotate
|
| Mon, 15 Sep 2008 20:22:38 +0200 |
wenzelm |
converted misc.tex;
|
file |
diff |
annotate
|