| Mon, 16 Nov 2020 23:27:43 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 27 Jun 2020 11:25:30 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 26 May 2020 11:58:42 +0200 |
wenzelm |
clarified signature --- fit within limit of 22 arguments;
|
file |
diff |
annotate
|
| Tue, 21 Apr 2020 19:07:11 +0200 |
wenzelm |
clarified imports;
|
file |
diff |
annotate
|
| Mon, 13 Apr 2020 16:16:22 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 06 Apr 2020 12:53:45 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 05 Apr 2020 13:05:40 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Sat, 28 Mar 2020 14:01:45 +0100 |
wenzelm |
clarified Isabelle_Process phases;
|
file |
diff |
annotate
|
| Sat, 28 Mar 2020 12:06:37 +0100 |
wenzelm |
clarified signature: more robust startup_join;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 12:46:56 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 12:28:55 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 12:03:20 +0100 |
wenzelm |
clarified signature;
|
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
|
| Sat, 01 Jun 2019 21:43:41 +0200 |
wenzelm |
tuned imports -- accommodate scala-2.13.0-RC3;
|
file |
diff |
annotate
|
| Fri, 01 Mar 2019 21:29:59 +0100 |
wenzelm |
system option "system_heaps" supersedes various command-line options for "system build mode";
|
file |
diff |
annotate
|
| Sat, 22 Sep 2018 14:24:53 +0200 |
wenzelm |
proper return code for runtime failure;
|
file |
diff |
annotate
|
| Thu, 26 Jul 2018 15:19:56 +0200 |
wenzelm |
more flexible session selection as in "isabelle jedit";
|
file |
diff |
annotate
|
| Thu, 15 Mar 2018 21:44:34 +0100 |
wenzelm |
clarified server log;
|
file |
diff |
annotate
|
| Wed, 14 Mar 2018 16:48:05 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 13 Mar 2018 18:28:12 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 28 Dec 2017 22:53:45 +0100 |
wenzelm |
implicit thy_load context for bibtex files (VSCode);
|
file |
diff |
annotate
|
| Wed, 01 Nov 2017 16:43:51 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 31 Oct 2017 18:45:33 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 31 Oct 2017 17:56:28 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 18 Sep 2017 18:25:52 +0200 |
wenzelm |
proper result type (cf. b9f5cd845616);
|
file |
diff |
annotate
|
| Mon, 18 Sep 2017 18:19:06 +0200 |
wenzelm |
recode Unicode text on the spot, e.g. from copy-paste of output;
|
file |
diff |
annotate
|
| Mon, 18 Sep 2017 18:11:21 +0200 |
wenzelm |
support for workspace edits;
|
file |
diff |
annotate
|
| Mon, 18 Sep 2017 10:32:09 +0200 |
wenzelm |
store document version;
|
file |
diff |
annotate
|
| Thu, 10 Aug 2017 11:35:39 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 01 Jul 2017 16:22:47 +0200 |
wenzelm |
all_known can cause timeout of VSCode server startup, notably on Windows;
|
file |
diff |
annotate
|
| Thu, 29 Jun 2017 15:12:40 +0200 |
wenzelm |
clarified editor focus;
|
file |
diff |
annotate
|
| Thu, 29 Jun 2017 14:39:24 +0200 |
wenzelm |
proper hyperlink_command, notably for locate_query;
|
file |
diff |
annotate
|
| Thu, 29 Jun 2017 11:36:25 +0200 |
wenzelm |
HTML GUI actions via JavaScript;
|
file |
diff |
annotate
|
| Tue, 20 Jun 2017 15:04:34 +0200 |
wenzelm |
added commands for spell-checker dictionary;
|
file |
diff |
annotate
|
| Sat, 17 Jun 2017 14:47:36 +0200 |
wenzelm |
maintain overlays within main state of document models;
|
file |
diff |
annotate
|
| Fri, 16 Jun 2017 22:40:05 +0200 |
wenzelm |
proper treatment of editor overlays;
|
file |
diff |
annotate
|
| Fri, 16 Jun 2017 21:04:39 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 16 Jun 2017 16:21:17 +0200 |
wenzelm |
support for separate proof state output;
|
file |
diff |
annotate
|
| Fri, 16 Jun 2017 15:59:27 +0200 |
wenzelm |
more general dispatcher operations;
|
file |
diff |
annotate
|
| Tue, 13 Jun 2017 22:39:57 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 13 Jun 2017 21:36:47 +0200 |
wenzelm |
added abstract editor operations, notably for Query_Operation;
|
file |
diff |
annotate
|
| Fri, 09 Jun 2017 21:43:31 +0200 |
wenzelm |
more uniform syntax_completion + semantic_completion;
|
file |
diff |
annotate
|
| Fri, 09 Jun 2017 17:13:50 +0200 |
wenzelm |
provide information about Isabelle symbols within VSCode;
|
file |
diff |
annotate
|
| Wed, 31 May 2017 17:25:26 +0200 |
wenzelm |
explicit preview request/response;
|
file |
diff |
annotate
|
| Tue, 30 May 2017 22:06:39 +0200 |
wenzelm |
provide preview content on Scala side (similar to output);
|
file |
diff |
annotate
|
| Thu, 25 May 2017 21:20:22 +0200 |
wenzelm |
restricted perspective depending on the caret -- important for reactivity when editing big files;
|
file |
diff |
annotate
|
| Thu, 25 May 2017 18:07:29 +0200 |
wenzelm |
clarified message logging;
|
file |
diff |
annotate
|
| Wed, 19 Apr 2017 16:25:26 +0200 |
wenzelm |
always explore all sessions;
|
file |
diff |
annotate
|
| Mon, 03 Apr 2017 17:00:36 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 18 Mar 2017 22:11:05 +0100 |
wenzelm |
more informative session result;
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 21:52:04 +0100 |
wenzelm |
always output proof state: there is only one output buffer in Isabelle/VSCode;
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 15:50:28 +0100 |
wenzelm |
dynamic session_options for tuning parameters and initial prover options;
|
file |
diff |
annotate
|
| Wed, 15 Mar 2017 10:31:42 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 18:08:21 +0100 |
wenzelm |
normalize changes strictly as specified in the protocol definition (assuming non-overlapping ranges, amending 0f555ce33970), e.g. relevant for automatic quotes/parentheses around selection;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 16:20:07 +0100 |
wenzelm |
avoid race condition between current_state().stable_tip_version and model.rendering();
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 15:19:33 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 14:55:00 +0100 |
wenzelm |
explicitly ignore "initialized" message;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 14:43:10 +0100 |
wenzelm |
clarified shutdown;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 13:27:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|