| Thu, 03 Mar 2016 22:16:52 +0100 |
wenzelm |
isabelle console -r" helps to bootstrap Isabelle/Pure;
|
file |
diff |
annotate
|
| Sun, 28 Feb 2016 15:43:56 +0100 |
wenzelm |
removed pointless "isabelle yxml";
|
file |
diff |
annotate
|
| Thu, 31 Dec 2015 19:53:19 +0100 |
wenzelm |
discontinued documentation of old browser;
|
file |
diff |
annotate
|
| Fri, 13 Nov 2015 14:49:30 +0100 |
wenzelm |
more uniform jEdit properties;
|
file |
diff |
annotate
|
| Wed, 04 Nov 2015 20:18:46 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Thu, 22 Oct 2015 21:16:49 +0200 |
wenzelm |
more control symbols;
|
file |
diff |
annotate
|
| Tue, 20 Oct 2015 23:53:40 +0200 |
wenzelm |
isabelle update_cartouches -t;
|
file |
diff |
annotate
|
| Fri, 16 Oct 2015 14:53:26 +0200 |
wenzelm |
Markdown support in document text;
|
file |
diff |
annotate
|
| Wed, 14 Oct 2015 15:10:32 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Mon, 12 Oct 2015 18:18:48 +0200 |
wenzelm |
@{verbatim [display]} supersedes old alltt/ttbox;
|
file |
diff |
annotate
|
| Mon, 12 Oct 2015 17:11:17 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Tue, 07 Oct 2014 21:29:59 +0200 |
wenzelm |
more cartouches;
|
file |
diff |
annotate
|
| Mon, 30 Jun 2014 10:53:37 +0200 |
wenzelm |
ProofGeneral-4.2-2 is optional component (including the traditional helper scripts);
|
file |
diff |
annotate
|
| Mon, 30 Jun 2014 09:43:44 +0200 |
wenzelm |
"isabelle tty" is superseded by "isabelle console";
|
file |
diff |
annotate
|
| Fri, 27 Jun 2014 15:41:26 +0200 |
wenzelm |
Proof General legacy;
|
file |
diff |
annotate
|
| Fri, 27 Jun 2014 15:30:57 +0200 |
wenzelm |
removed obsolete "isabelle unsymbolize";
|
file |
diff |
annotate
|
| Mon, 16 Jun 2014 12:52:20 +0200 |
wenzelm |
clarified role of old user interfaces as misc tools;
|
file |
diff |
annotate
|
| Sun, 06 Apr 2014 16:59:41 +0200 |
wenzelm |
renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;
|
file |
diff |
annotate
|
| Mon, 09 Dec 2013 12:22:23 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Fri, 06 Dec 2013 22:10:45 +0100 |
wenzelm |
clarified "isabelle display" and 'display_drafts': re-use file and program instance, open asynchronously via desktop environment;
|
file |
diff |
annotate
|
| Fri, 06 Sep 2013 12:46:50 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 07 Jul 2013 18:43:14 +0200 |
wenzelm |
discontinued obsolete "isabelle print";
|
file |
diff |
annotate
|
| Tue, 25 Jun 2013 12:17:19 +0200 |
wenzelm |
slightly improved "isabelle doc" based on Isabelle/Scala;
|
file |
diff |
annotate
|
| Fri, 17 May 2013 18:19:42 +0200 |
wenzelm |
discontinued obsolete isabelle usedir, mkdir, make;
|
file |
diff |
annotate
|
| Mon, 31 Dec 2012 15:56:17 +0100 |
wenzelm |
simplified quick start via "isabelle components -I";
|
file |
diff |
annotate
|
| Tue, 20 Nov 2012 15:18:11 +0100 |
wenzelm |
simplified command line of "isabelle install";
|
file |
diff |
annotate
|
| Mon, 03 Sep 2012 11:09:25 +0200 |
wenzelm |
"isabelle logo" produces EPS and PDF format simultaneously;
|
file |
diff |
annotate
|
| Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|