| Fri, 12 Nov 2021 16:49:28 +0100 | wenzelm | clarified HTML_Context: more explicit directory structure; | file | diff | annotate |
| Fri, 12 Nov 2021 13:36:35 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 11 Nov 2021 22:06:18 +0100 | wenzelm | clarified signature: prefer static operations; | file | diff | annotate |
| Fri, 05 Nov 2021 22:43:29 +0100 | wenzelm | avoid multiple copies of fonts; | file | diff | annotate |
| Thu, 15 Jul 2021 22:07:56 +0200 | wenzelm | clarified global state: allow to deactivate main plugin; | file | diff | annotate |
| Sun, 16 May 2021 13:34:27 +0200 | wenzelm | tuned signature --- following hints by IntelliJ IDEA; | file | diff | annotate |
| 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 |
| Fri, 22 Dec 2017 13:51:20 +0100 | wenzelm | proper HTML title; | file | diff | annotate |
| Thu, 21 Dec 2017 22:41:57 +0100 | wenzelm | isabelle.preview presents bibtex database files as well; | 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, 21 Dec 2017 17:28:39 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 12 Nov 2017 19:46:19 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 06 Nov 2017 16:03:13 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 31 Oct 2017 15:55:50 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Fri, 29 Sep 2017 17:35:09 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 29 Sep 2017 17:28:44 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 27 Jun 2017 23:21:12 +0200 | wenzelm | support for HTTP/POST method; | file | diff | annotate |
| Wed, 21 Jun 2017 14:56:44 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 21 Jun 2017 14:06:16 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 19 Jun 2017 17:28:48 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 17 Jun 2017 14:47:36 +0200 | wenzelm | maintain overlays within main state of document models; | file | diff | annotate |
| Tue, 13 Jun 2017 20:16:39 +0200 | wenzelm | clarified modules; | 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 12:25:59 +0200 | wenzelm | clarified; | file | diff | annotate |
| Mon, 05 Jun 2017 23:55:58 +0200 | wenzelm | HTML preview via builtin HTTP server; | file | diff | annotate |
| Wed, 12 Apr 2017 19:56:47 +0200 | wenzelm | more explicit jEdit file operations; | file | diff | annotate |
| Mon, 03 Apr 2017 16:36:45 +0200 | wenzelm | provide session qualifier via resources; | file | diff | annotate |
| Tue, 14 Mar 2017 21:43:54 +0100 | wenzelm | clarified singleton module; | file | diff | annotate |
| Tue, 14 Mar 2017 21:36:27 +0100 | wenzelm | proper plugin access; | file | diff | annotate |
| Tue, 14 Mar 2017 21:26:25 +0100 | wenzelm | proper plugin access; | file | diff | annotate |