Wed, 31 Mar 2021 12:02:52 +0200 |
wenzelm |
more uniform HTTP resources;
|
file |
diff |
annotate
|
Thu, 11 Mar 2021 20:30:56 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
Wed, 03 Mar 2021 22:48:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
Tue, 05 Jan 2021 14:21:18 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sun, 03 Jan 2021 16:21:59 +0100 |
wenzelm |
clarified HTML presentation elements;
|
file |
diff |
annotate
|
Sun, 20 Dec 2020 13:20:09 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 20 Dec 2020 12:32:12 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 20 Dec 2020 12:24:41 +0100 |
wenzelm |
tuned signature: more explicit types;
|
file |
diff |
annotate
|
Sat, 19 Dec 2020 15:14:01 +0100 |
wenzelm |
clarified signature and module structure;
|
file |
diff |
annotate
|
Sun, 29 Nov 2020 14:57:15 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 18 Nov 2020 15:52:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Wed, 08 Apr 2020 13:14:05 +0200 |
wenzelm |
more general support for isabelle_scala_service;
|
file |
diff |
annotate
|
Sat, 04 Apr 2020 18:13:05 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
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
|
Thu, 21 Jun 2018 12:22:17 +0200 |
wenzelm |
tuned signature -- facilitate testing;
|
file |
diff |
annotate
|
Fri, 23 Mar 2018 20:45:46 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 01 Jan 2018 16:36:52 +0100 |
wenzelm |
proper purge of auxiliary bibtex theory;
|
file |
diff |
annotate
|
Mon, 01 Jan 2018 16:06:30 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 28 Dec 2017 23:10:30 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 28 Dec 2017 22:36:15 +0100 |
wenzelm |
bibtex theory is always required and thus eventually consolidated;
|
file |
diff |
annotate
|
Thu, 28 Dec 2017 12:44:42 +0100 |
wenzelm |
avoid spurious noise: Prover IDE is meant to check for errors;
|
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 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:26:14 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 22 Dec 2017 16:20:37 +0100 |
wenzelm |
clarified URL: unique node name;
|
file |
diff |
annotate
|
Fri, 22 Dec 2017 14:27:59 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|