| Tue, 20 Nov 2018 13:44:06 +0100 |
wenzelm |
clarified presentation;
|
file |
diff |
annotate
|
| Wed, 07 Nov 2018 21:42:16 +0100 |
wenzelm |
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
|
file |
diff |
annotate
|
| Sat, 22 Sep 2018 14:24:53 +0200 |
wenzelm |
proper return code for runtime failure;
|
file |
diff |
annotate
|
| Sat, 28 Jul 2018 21:21:26 +0200 |
wenzelm |
proper return code (true) if file is absent;
|
file |
diff |
annotate
|
| Wed, 09 May 2018 22:04:09 +0200 |
wenzelm |
more informative error, notably for missing executable;
|
file |
diff |
annotate
|
| Wed, 03 Jan 2018 22:29:31 +0100 |
wenzelm |
more tight HTML output: avoid extra lines within <pre>;
|
file |
diff |
annotate
|
| Wed, 03 Jan 2018 20:55:13 +0100 |
wenzelm |
HTML output for Markdown elements;
|
file |
diff |
annotate
|
| Fri, 22 Dec 2017 21:05:54 +0100 |
wenzelm |
store full blob source for the sake of markup_to_XML;
|
file |
diff |
annotate
|
| Fri, 22 Dec 2017 20:15:16 +0100 |
wenzelm |
PIDE markup for non-theory nodes;
|
file |
diff |
annotate
|
| Fri, 22 Dec 2017 17:49:51 +0100 |
wenzelm |
action "isabelle.draft" for plain-text preview;
|
file |
diff |
annotate
|
| Fri, 22 Dec 2017 17:19:53 +0100 |
wenzelm |
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
|
file |
diff |
annotate
|
| Fri, 22 Dec 2017 16:10:48 +0100 |
wenzelm |
proper title;
|
file |
diff |
annotate
|
| Fri, 22 Dec 2017 14:27:59 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 22 Dec 2017 11:39:49 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 21 Dec 2017 22:38:28 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 21 Dec 2017 22:07:30 +0100 |
wenzelm |
isabelle.preview presents auxiliary text files as well;
|
file |
diff |
annotate
|
| Thu, 14 Dec 2017 21:15:04 +0100 |
wenzelm |
purge log files -- avoid old errors;
|
file |
diff |
annotate
|
| Thu, 14 Dec 2017 21:09:41 +0100 |
wenzelm |
expose bibtex errors;
|
file |
diff |
annotate
|
| Thu, 14 Dec 2017 14:28:27 +0100 |
wenzelm |
proper \isakeeptag (amending 13b5c3ff1954);
|
file |
diff |
annotate
|
| Tue, 12 Dec 2017 13:34:11 +0100 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Sun, 10 Dec 2017 20:50:09 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Sun, 10 Dec 2017 18:43:08 +0100 |
wenzelm |
removed obsolete option (see 74a1b722507e);
|
file |
diff |
annotate
|
| Sun, 10 Dec 2017 18:31:41 +0100 |
wenzelm |
re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here;
|
file |
diff |
annotate
|
| Mon, 12 Jun 2017 20:24:40 +0200 |
wenzelm |
tuned rendering;
|
file |
diff |
annotate
|
| Thu, 08 Jun 2017 23:04:07 +0200 |
wenzelm |
more HTML rendering as in Isabelle/jEdit;
|
file |
diff |
annotate
|
| Thu, 08 Jun 2017 21:17:13 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 08 Jun 2017 14:27:13 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 08 Jun 2017 14:08:07 +0200 |
wenzelm |
HTML preview based on PIDE markup;
|
file |
diff |
annotate
|
| Thu, 08 Jun 2017 13:01:50 +0200 |
wenzelm |
tuned layout (amending 8040d2563593);
|
file |
diff |
annotate
|
| Thu, 01 Jun 2017 23:12:48 +0200 |
wenzelm |
generate CSS for Isabelle fonts;
|
file |
diff |
annotate
|
| Thu, 01 Jun 2017 21:24:33 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 01 Jun 2017 15:19:50 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 31 May 2017 21:48:32 +0200 |
wenzelm |
tuned layout;
|
file |
diff |
annotate
|
| Wed, 31 May 2017 21:37:50 +0200 |
wenzelm |
modernized generated HTML;
|
file |
diff |
annotate
|
| Thu, 06 Apr 2017 14:32:56 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 05 Apr 2017 11:39:36 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 04 Apr 2017 21:37:26 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 04 Apr 2017 21:33:51 +0200 |
wenzelm |
proper base name;
|
file |
diff |
annotate
|
| Sat, 01 Apr 2017 19:17:15 +0200 |
wenzelm |
clarified YXML vs. symbol encoding: operate on whole message;
|
file |
diff |
annotate
|
| Thu, 02 Mar 2017 16:46:22 +0100 |
wenzelm |
clarified fonts;
|
file |
diff |
annotate
|
| Thu, 02 Mar 2017 15:56:43 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2016 22:51:45 +0200 |
wenzelm |
more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works;
|
file |
diff |
annotate
|
| Thu, 14 Apr 2016 11:34:10 +0200 |
wenzelm |
back to exact copy of non-text file (amending dcc8e1d34b18);
|
file |
diff |
annotate
|
| Tue, 15 Mar 2016 22:01:26 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 21 Oct 2015 18:00:12 +0200 |
wenzelm |
Isabelle fonts via external component;
|
file |
diff |
annotate
|
| Mon, 19 Oct 2015 16:55:52 +0200 |
wenzelm |
avoid odd permissions of fresh tmp_file;
|
file |
diff |
annotate
|
| Fri, 09 Oct 2015 16:58:24 +0200 |
wenzelm |
server-side fonts;
|
file |
diff |
annotate
|
| Fri, 09 Oct 2015 16:09:16 +0200 |
wenzelm |
more Present operations on Scala side;
|
file |
diff |
annotate
|
| Wed, 15 Apr 2015 15:27:45 +0200 |
wenzelm |
tuned signature, clarified modules;
|
file |
diff |
annotate
|
| Tue, 14 May 2013 19:30:21 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 13 Mar 2013 15:08:38 +0100 |
wenzelm |
do not absorb I/O errors;
|
file |
diff |
annotate
|
| Tue, 12 Mar 2013 22:44:03 +0100 |
wenzelm |
proper path -- I/O was hidden due to permissiveness;
|
file |
diff |
annotate
|
| Tue, 12 Mar 2013 20:03:04 +0100 |
wenzelm |
include session description in chapter index;
|
file |
diff |
annotate
|
| Tue, 12 Mar 2013 16:47:24 +0100 |
wenzelm |
discontinued "isabelle usedir" option -r (reset session path);
|
file |
diff |
annotate
|
| Thu, 03 Jan 2013 20:42:18 +0100 |
wenzelm |
maintain session index on Scala side, for more determistic results;
|
file |
diff |
annotate
|