Wed, 18 Nov 2020 15:36:41 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
Wed, 18 Nov 2020 13:16:08 +0100 |
wenzelm |
more explicit presentation directory;
|
file |
diff |
annotate
|
Tue, 17 Nov 2020 16:34:01 +0100 |
wenzelm |
clarified access to single database server vs. collection of database files;
|
file |
diff |
annotate
|
Mon, 16 Nov 2020 22:28:42 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
Mon, 16 Nov 2020 22:23:04 +0100 |
wenzelm |
HTML presentation in Isabelle/Scala, based on theory html exports from Isabelle/ML;
|
file |
diff |
annotate
|
Sat, 14 Nov 2020 12:55:05 +0100 |
wenzelm |
official support for document theories from other sessions;
|
file |
diff |
annotate
|
Thu, 12 Nov 2020 16:27:31 +0100 |
wenzelm |
more interrupts, notably for running latex;
|
file |
diff |
annotate
|
Thu, 12 Nov 2020 11:46:53 +0100 |
wenzelm |
clarified messages;
|
file |
diff |
annotate
|
Wed, 11 Nov 2020 21:09:56 +0100 |
wenzelm |
obsolete, build happens in clean tmp_dir;
|
file |
diff |
annotate
|
Wed, 11 Nov 2020 21:06:52 +0100 |
wenzelm |
redundant, see prepare_dir;
|
file |
diff |
annotate
|
Wed, 11 Nov 2020 21:00:14 +0100 |
wenzelm |
build documents in Isabelle/Scala, based on generated tex files as session exports;
|
file |
diff |
annotate
|
Sun, 08 Nov 2020 21:27:08 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 05 Oct 2020 22:07:25 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 05 Oct 2020 21:15:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 26 Sep 2020 14:29:46 +0200 |
wenzelm |
discontinued obsolete DVI document format and related settings/tools;
|
file |
diff |
annotate
|
Thu, 14 Nov 2019 11:35:02 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Thu, 29 Nov 2018 15:17:51 +0100 |
wenzelm |
clarified "hidden" terminology;
|
file |
diff |
annotate
|
Wed, 28 Nov 2018 16:14:31 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 28 Nov 2018 14:40:06 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
Wed, 28 Nov 2018 14:00:22 +0100 |
wenzelm |
more explicit Isabelle_Fonts.Entry;
|
file |
diff |
annotate
|
Wed, 28 Nov 2018 11:28:02 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
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
|