| Tue, 03 Jan 2023 21:18:15 +0100 |
wenzelm |
more robust operations: avoid somewhat fragile Document.Node.Name.master_dir_path;
|
file |
diff |
annotate
|
| Mon, 02 Jan 2023 13:09:38 +0100 |
wenzelm |
tuned signature, following Url.append_path;
|
file |
diff |
annotate
|
| Mon, 02 Jan 2023 12:29:08 +0100 |
wenzelm |
clarified signature: uniform master_dir instead of separate field;
|
file |
diff |
annotate
|
| Sun, 01 Jan 2023 22:54:40 +0100 |
wenzelm |
tuned signature, following Url.append_path;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2022 12:25:34 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2022 12:10:14 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 26 Dec 2022 17:36:56 +0100 |
wenzelm |
tuned signature: avoid name confusion;
|
file |
diff |
annotate
|
| Sat, 24 Dec 2022 13:19:39 +0100 |
wenzelm |
tuned signature: follow terminology of VSCode_Resources;
|
file |
diff |
annotate
|
| Thu, 22 Dec 2022 15:23:26 +0100 |
wenzelm |
proper migrate_name between different kinds of Resources, notably for Windows;
|
file |
diff |
annotate
|
| Sat, 17 Dec 2022 11:25:19 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 16 Dec 2022 18:12:48 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 16 Dec 2022 17:51:52 +0100 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Thu, 08 Dec 2022 11:55:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 08 Dec 2022 10:44:03 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 07 Dec 2022 12:38:06 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 04 Aug 2022 12:00:58 +0200 |
wenzelm |
clarified signature: proper session_name for Sessions.Base (like Sessions.Info);
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Mon, 16 Sep 2019 23:20:45 +0200 |
wenzelm |
clarified inversion of file name to theory name, notably for Windows;
|
file |
diff |
annotate
|
| Mon, 16 Sep 2019 21:30:30 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 16 Sep 2019 20:06:25 +0200 |
wenzelm |
clarified signature -- removed pointless operations;
|
file |
diff |
annotate
|
| Thu, 12 Sep 2019 13:33:09 +0200 |
wenzelm |
find theory files via session structure: much faster Prover IDE startup;
|
file |
diff |
annotate
|
| Wed, 11 Sep 2019 20:48:10 +0200 |
wenzelm |
find theory node name via session directories;
|
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, 28 Dec 2017 21:45:28 +0100 |
wenzelm |
implicit thy_load context for bibtex files;
|
file |
diff |
annotate
|
| Tue, 28 Nov 2017 22:14:10 +0100 |
wenzelm |
clarified theory_name vs. loaded_theory: proper import_name for already loaded theories from other sessions (amending 4c98c929a12a);
|
file |
diff |
annotate
|
| Wed, 01 Nov 2017 15:32:07 +0100 |
wenzelm |
added isabelle jedit options -B, -P, clarified -R;
|
file |
diff |
annotate
|
| Tue, 31 Oct 2017 18:56:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 31 Oct 2017 17:56:28 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 31 Aug 2017 16:35:09 +0200 |
wenzelm |
tolerate errors in session structure, although this may lead to confusion about theory imports later on;
|
file |
diff |
annotate
|
| Mon, 26 Jun 2017 15:57:20 +0200 |
wenzelm |
proper bootstrap_name (amending b42743f5b595);
|
file |
diff |
annotate
|
| Fri, 21 Apr 2017 14:09:03 +0200 |
wenzelm |
eliminated default_qualifier: just a constant;
|
file |
diff |
annotate
|
| Thu, 20 Apr 2017 15:00:32 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 17 Apr 2017 21:48:53 +0200 |
wenzelm |
prefer formal name from session context, for proper qualified theory name;
|
file |
diff |
annotate
|
| Thu, 13 Apr 2017 12:19:28 +0200 |
wenzelm |
tuned signature (again);
|
file |
diff |
annotate
|
| Wed, 12 Apr 2017 22:47:21 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 12 Apr 2017 22:32:55 +0200 |
wenzelm |
clarified loaded_theories: map to qualified theory name;
|
file |
diff |
annotate
|
| Wed, 12 Apr 2017 19:56:47 +0200 |
wenzelm |
more explicit jEdit file operations;
|
file |
diff |
annotate
|
| Mon, 10 Apr 2017 11:29:47 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 08 Apr 2017 20:56:41 +0200 |
wenzelm |
more session_base information in ML;
|
file |
diff |
annotate
|
| Mon, 03 Apr 2017 17:00:36 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 03 Apr 2017 16:36:45 +0200 |
wenzelm |
provide session qualifier via resources;
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 19:39:34 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 21:26:25 +0100 |
wenzelm |
proper plugin access;
|
file |
diff |
annotate
|
| Mon, 09 Jan 2017 22:54:48 +0100 |
wenzelm |
update File_Model based on file-system events;
|
file |
diff |
annotate
|
| Mon, 09 Jan 2017 20:47:45 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 09 Jan 2017 20:26:59 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 08 Jan 2017 19:08:26 +0100 |
wenzelm |
added node_name(String): imitate jEdit buffer operations;
|
file |
diff |
annotate
|
| Sun, 08 Jan 2017 17:22:14 +0100 |
wenzelm |
refer to internal File_Model instead of external file;
|
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 14:46:04 +0100 |
wenzelm |
tuned;
|
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 10:10:51 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 19 Apr 2016 12:06:34 +0200 |
wenzelm |
more IDE support for Isabelle/Pure bootstrap;
|
file |
diff |
annotate
|
| Tue, 25 Aug 2015 13:46:24 +0200 |
wenzelm |
clarified undefined_blobs: already loaded theories are suppressed;
|
file |
diff |
annotate
|
| Thu, 20 Aug 2015 19:15:17 +0200 |
wenzelm |
tuned signature, according to ML version;
|
file |
diff |
annotate
|
| Wed, 12 Aug 2015 13:56:46 +0200 |
wenzelm |
more thorough reload;
|
file |
diff |
annotate
|
| Wed, 12 Aug 2015 13:53:51 +0200 |
wenzelm |
resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload;
|
file |
diff |
annotate
|