Wed, 09 Mar 2016 20:36:29 +0100 |
wenzelm |
more careful print_depth on startup;
|
file |
diff |
annotate
|
Wed, 09 Mar 2016 19:30:09 +0100 |
wenzelm |
isabelle.Build uses ML_Process directly;
|
file |
diff |
annotate
|
Tue, 08 Mar 2016 20:02:46 +0100 |
wenzelm |
back to external line editor, due to problems of JLine with multithreading of in vs. out;
|
file |
diff |
annotate
|
Tue, 08 Mar 2016 18:15:16 +0100 |
wenzelm |
isabelle console is based on Isabelle/Scala;
|
file |
diff |
annotate
|
Thu, 03 Mar 2016 23:33:22 +0100 |
wenzelm |
simplified;
|
file |
diff |
annotate
|
Thu, 03 Mar 2016 21:30:31 +0100 |
wenzelm |
clarified isabelle_process;
|
file |
diff |
annotate
|
Mon, 29 Feb 2016 20:35:06 +0100 |
wenzelm |
isabelle_process executable no longer supports writable heap images;
|
file |
diff |
annotate
|
Sun, 28 Feb 2016 15:43:56 +0100 |
wenzelm |
removed pointless "isabelle yxml";
|
file |
diff |
annotate
|
Wed, 17 Feb 2016 23:06:24 +0100 |
wenzelm |
SML/NJ is no longer supported;
|
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
|
Wed, 04 Nov 2015 18:32:47 +0100 |
wenzelm |
more antiquotations;
|
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
|
Sun, 18 Oct 2015 22:57:09 +0200 |
wenzelm |
more control symbols;
|
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 20:25:08 +0200 |
wenzelm |
clarified antiquotation;
|
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
|
Wed, 01 Apr 2015 22:46:49 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 11 Jan 2015 20:40:14 +0100 |
wenzelm |
discontinued fifo channel, always use portable socket;
|
file |
diff |
annotate
|
Fri, 31 Oct 2014 16:03:45 +0100 |
wenzelm |
discontinued Isar TTY loop;
|
file |
diff |
annotate
|
Fri, 31 Oct 2014 11:18:17 +0100 |
wenzelm |
discontinued Proof General;
|
file |
diff |
annotate
|
Mon, 20 Oct 2014 20:43:02 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Thu, 09 Oct 2014 11:15:03 +0200 |
wenzelm |
prefer Unix standard-conformant $TMPDIR over hard-wired /tmp;
|
file |
diff |
annotate
|
Tue, 07 Oct 2014 21:29:59 +0200 |
wenzelm |
more cartouches;
|
file |
diff |
annotate
|
Sun, 05 Oct 2014 22:46:13 +0200 |
wenzelm |
prefer @{cite} antiquotation;
|
file |
diff |
annotate
|
Sun, 21 Sep 2014 20:22:12 +0200 |
wenzelm |
renamed ISABELLE_POLYML to ML_SYSTEM_POLYML, to avoid overlap with ISABELLE_POLYML_PATH;
|
file |
diff |
annotate
|
Sun, 20 Jul 2014 17:54:01 +0200 |
wenzelm |
provide explicit options file -- avoid multiple Scala/JVM invocation;
|
file |
diff |
annotate
|
Mon, 30 Jun 2014 09:43:44 +0200 |
wenzelm |
"isabelle tty" is superseded by "isabelle console";
|
file |
diff |
annotate
|
Wed, 16 Apr 2014 13:35:49 +0200 |
wenzelm |
tuned spelling;
|
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, 06 Jan 2014 19:42:52 +0100 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
Mon, 09 Dec 2013 20:16:12 +0100 |
wenzelm |
provide @{file_unchecked} in Isabelle/Pure;
|
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
|
Sat, 27 Jul 2013 22:20:25 +0200 |
wenzelm |
discontinued historic document formats;
|
file |
diff |
annotate
|
Sat, 27 Jul 2013 21:43:12 +0200 |
wenzelm |
discontinued ISABELLE_DOC_FORMAT;
|
file |
diff |
annotate
|
Sun, 07 Jul 2013 18:43:14 +0200 |
wenzelm |
discontinued obsolete "isabelle print";
|
file |
diff |
annotate
|
Fri, 17 May 2013 21:02:08 +0200 |
wenzelm |
oops;
|
file |
diff |
annotate
|
Fri, 17 May 2013 19:04:52 +0200 |
wenzelm |
added isabelle-process option -o;
|
file |
diff |
annotate
|
Fri, 17 May 2013 18:39:49 +0200 |
wenzelm |
discontinued obsolete isabelle-process options -f and -u;
|
file |
diff |
annotate
|
Fri, 17 May 2013 18:19:42 +0200 |
wenzelm |
discontinued obsolete isabelle usedir, mkdir, make;
|
file |
diff |
annotate
|
Sat, 11 May 2013 18:45:38 +0200 |
wenzelm |
removed some obsolete PGIP/PGEclipse material;
|
file |
diff |
annotate
|
Thu, 14 Mar 2013 16:49:36 +0100 |
wenzelm |
document ISABELLE_POLYML;
|
file |
diff |
annotate
|
Sat, 26 Jan 2013 16:10:50 +0100 |
wenzelm |
updated explanations of document preparation;
|
file |
diff |
annotate
|
Sun, 25 Nov 2012 15:17:01 +0100 |
wenzelm |
eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
|
file |
diff |
annotate
|
Sat, 24 Nov 2012 12:39:58 +0100 |
wenzelm |
added ISABELLE_PLATFORM_FAMILY;
|
file |
diff |
annotate
|
Wed, 05 Sep 2012 20:54:40 +0200 |
wenzelm |
eliminated potentially confusing terminology of Scala "layer";
|
file |
diff |
annotate
|
Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|