Fri, 25 Feb 2022 14:42:38 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Fri, 25 Feb 2022 14:38:16 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 21 Feb 2022 14:33:41 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Mon, 21 Feb 2022 13:30:51 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 21 Feb 2022 12:56:35 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sun, 20 Feb 2022 22:14:30 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sun, 20 Feb 2022 15:30:07 +0100 |
wenzelm |
support for PDF.js: platform-independent PDF viewer;
|
file |
diff |
annotate
|
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
|
Sun, 12 Mar 2017 14:23:38 +0100 |
wenzelm |
discontinued pointless Text.Length: Javascript and Java agree in old-fashioned UTF-16;
|
file |
diff |
annotate
|
Mon, 06 Mar 2017 17:10:37 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 12 Jan 2017 12:32:32 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
Thu, 12 Jan 2017 11:20:40 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 10 Jan 2017 17:13:01 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 10 Jan 2017 16:53:05 +0100 |
wenzelm |
support "purge" operation on document model;
|
file |
diff |
annotate
|
Tue, 10 Jan 2017 09:47:23 +0100 |
wenzelm |
accomodate very big file_models and changed_files;
|
file |
diff |
annotate
|
Tue, 10 Jan 2017 09:40:26 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 09 Jan 2017 22:54:48 +0100 |
wenzelm |
update File_Model based on file-system events;
|
file |
diff |
annotate
|
Sun, 08 Jan 2017 17:10:42 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 08 Jan 2017 16:47:53 +0100 |
wenzelm |
resolve dependencies implicitly via File_Model, without jEdit Buffer_Model;
|
file |
diff |
annotate
|
Sun, 08 Jan 2017 13:03:14 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 08 Jan 2017 12:31:45 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 08 Jan 2017 11:41:18 +0100 |
wenzelm |
refer to bibtex entries via general Document_Model, instead of editor buffers;
|
file |
diff |
annotate
|
Sun, 08 Jan 2017 10:56:33 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sat, 07 Jan 2017 21:32:00 +0100 |
wenzelm |
uniform Document.Model.node_edits (without void edits);
|
file |
diff |
annotate
|
Sat, 07 Jan 2017 20:44:37 +0100 |
wenzelm |
clarified check_thy_reader: check node_name here;
|
file |
diff |
annotate
|
Sat, 07 Jan 2017 20:37:48 +0100 |
wenzelm |
more uniform node_header (non-strict);
|
file |
diff |
annotate
|
Sat, 07 Jan 2017 20:01:05 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 07 Jan 2017 19:36:40 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 07 Jan 2017 15:16:36 +0100 |
wenzelm |
clarified buffer events: exit model while loading;
|
file |
diff |
annotate
|
Sat, 07 Jan 2017 14:34:53 +0100 |
wenzelm |
separate Buffer_Model vs. File_Model;
|
file |
diff |
annotate
|
Fri, 06 Jan 2017 13:27:18 +0100 |
wenzelm |
manage buffer models as explicit global state;
|
file |
diff |
annotate
|
Thu, 05 Jan 2017 12:23:25 +0100 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
Wed, 28 Dec 2016 16:50:14 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 26 Dec 2016 15:31:13 +0100 |
wenzelm |
more uniform treatment of file name vs. theory name and special header;
|
file |
diff |
annotate
|
Mon, 11 Jul 2016 18:18:24 +0200 |
wenzelm |
tunes signature;
|
file |
diff |
annotate
|
Tue, 19 Apr 2016 12:06:34 +0200 |
wenzelm |
more IDE support for Isabelle/Pure bootstrap;
|
file |
diff |
annotate
|
Sat, 09 Apr 2016 19:30:15 +0200 |
wenzelm |
support ROOT0.ML as well -- independently of ROOT.ML;
|
file |
diff |
annotate
|
Wed, 06 Apr 2016 23:45:19 +0200 |
wenzelm |
treat ROOT.ML as theory with header "theory ML_Root imports ML_Bootstrap begin";
|
file |
diff |
annotate
|
Mon, 25 Jan 2016 14:51:04 +0100 |
wenzelm |
more thorough syntax_changed: new commands need require new folds;
|
file |
diff |
annotate
|
Sat, 21 Nov 2015 20:13:52 +0100 |
wenzelm |
double flush to ensure persistent "state" output is reset;
|
file |
diff |
annotate
|
Mon, 02 Nov 2015 10:38:42 +0100 |
wenzelm |
avoid highlighted area getting "stuck" after edit;
|
file |
diff |
annotate
|
Sat, 19 Sep 2015 19:34:51 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 15 Aug 2015 18:59:31 +0200 |
wenzelm |
more robust access to stable tip version: take all pending edits into account, don't assume model for current buffer;
|
file |
diff |
annotate
|
Fri, 08 May 2015 10:19:44 +0200 |
wenzelm |
more conservative Document_Model.init: avoid Document.Node.Clear due to change of token marker (e.g. due to change of jEdit mode properties);
|
file |
diff |
annotate
|
Thu, 07 May 2015 21:30:52 +0200 |
wenzelm |
no GUI_Thread for SideKick parsers (in contrast to 4c8205fe3644), to avoid danger of deadlock due to nested context switch;
|
file |
diff |
annotate
|
Tue, 17 Mar 2015 16:38:09 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 17 Mar 2015 16:17:49 +0100 |
wenzelm |
tight span for theory header, which is relevant for error positions (including semantic completion);
|
file |
diff |
annotate
|
Mon, 16 Mar 2015 13:32:31 +0100 |
wenzelm |
avoid duplicate header errors, more precise positions;
|
file |
diff |
annotate
|
Sun, 15 Mar 2015 20:35:47 +0100 |
wenzelm |
clarified span position;
|
file |
diff |
annotate
|
Thu, 08 Jan 2015 20:56:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 02 Dec 2014 17:30:53 +0100 |
wenzelm |
added Untyped.method convenience (for *this* class only);
|
file |
diff |
annotate
|
Tue, 02 Dec 2014 16:40:11 +0100 |
wenzelm |
tuned signature -- more explicit types;
|
file |
diff |
annotate
|
Tue, 02 Dec 2014 16:10:11 +0100 |
wenzelm |
more careful syntax_changed propagation -- avoid global jEdit.propertiesChanged;
|
file |
diff |
annotate
|
Tue, 02 Dec 2014 14:16:56 +0100 |
wenzelm |
node-specific syntax, with base_syntax as default;
|
file |
diff |
annotate
|
Mon, 01 Dec 2014 19:25:20 +0100 |
wenzelm |
clarified token marker / syntax for mode vs. buffer;
|
file |
diff |
annotate
|
Sun, 05 Oct 2014 18:21:39 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sun, 05 Oct 2014 18:14:26 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Sun, 05 Oct 2014 15:05:26 +0200 |
wenzelm |
maintain Document_Model.bibtex_entries;
|
file |
diff |
annotate
|
Sun, 10 Aug 2014 15:16:01 +0200 |
wenzelm |
tuned -- eliminated redundant check (see 1f77110c94ef);
|
file |
diff |
annotate
|
Wed, 23 Jul 2014 16:56:03 +0200 |
wenzelm |
more frugal edits;
|
file |
diff |
annotate
|
Wed, 23 Jul 2014 13:01:30 +0200 |
wenzelm |
more explicit discrimination of empty nodes -- suppress from Theories panel;
|
file |
diff |
annotate
|