6 months ago |
Thomas Lindae |
lsp: added additional commit characters to immediate completions;
|
file |
diff |
annotate
|
6 months ago |
Thomas Lindae |
lsp: improved completions;
|
file |
diff |
annotate
|
6 months ago |
Thomas Lindae |
lsp: tuned;
|
file |
diff |
annotate
|
6 months ago |
Thomas Lindae |
lsp: created distinction for unicode symbols setting between output and edits and clarified output text functions;
|
file |
diff |
annotate
|
9 months ago |
Thomas Lindae |
lsp: partially revert c0388fbd8096 to get decorations for all keywords;
|
file |
diff |
annotate
|
2023-01-20 |
wenzelm |
dismantle special treatment of citations in Isabelle/Scala;
|
file |
diff |
annotate
|
2022-12-27 |
wenzelm |
clarified modules: avoid duplication;
|
file |
diff |
annotate
|
2022-12-26 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
2022-12-26 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
2022-12-23 |
wenzelm |
more robust Document.Pending_Edits: cover all nodes simulataneously, and thus support proper Snapshot.switch;
|
file |
diff |
annotate
|
2022-08-19 |
wenzelm |
clarified signature: support for adhoc file types;
|
file |
diff |
annotate
|
2022-04-08 |
wenzelm |
tuned -- avoid warnings for scala3;
|
file |
diff |
annotate
|
2022-04-01 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
2022-03-11 |
wenzelm |
clarified signature: more uniform ts vs. Scala;
|
file |
diff |
annotate
|
2022-02-22 |
wenzelm |
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
|
file |
diff |
annotate
|
2021-03-04 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
2020-12-13 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
2020-12-09 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
2020-11-28 |
wenzelm |
avoid conflicting base names;
|
file |
diff |
annotate
|
2020-04-21 |
wenzelm |
clarified imports;
|
file |
diff |
annotate
|
2019-06-01 |
wenzelm |
tuned imports -- accommodate scala-2.13.0-RC3;
|
file |
diff |
annotate
|
2019-03-11 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
2018-11-07 |
wenzelm |
more uniform read_file_content for Isabelle/jEdit and Isabelle/VSCode: make_theory_content is required for semantic checking of user file-formats (e.g. bibtex);
|
file |
diff |
annotate
|
2018-03-11 |
wenzelm |
more compact markup tree: output messages are already stored in command results (e.g. relevant for XML data representation);
|
file |
diff |
annotate
|
2017-11-04 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
2017-06-30 |
wenzelm |
retain symlinks in file names from VSCode: relevant for proper file locations in decorations etc.;
|
file |
diff |
annotate
|
2017-06-30 |
wenzelm |
clarified platform file operations;
|
file |
diff |
annotate
|
2017-06-21 |
wenzelm |
more completion;
|
file |
diff |
annotate
|
2017-06-21 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
2017-06-21 |
wenzelm |
more completion;
|
file |
diff |
annotate
|
2017-06-21 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
2017-06-21 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
2017-06-21 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
2017-06-20 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
2017-06-20 |
wenzelm |
proper treatment of empty result;
|
file |
diff |
annotate
|
2017-06-20 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
2017-06-20 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
2017-06-20 |
wenzelm |
provide spell-checker menu via completion commands;
|
file |
diff |
annotate
|
2017-06-19 |
wenzelm |
added spell-checker completion;
|
file |
diff |
annotate
|
2017-06-19 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
2017-06-19 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
2017-06-09 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2017-06-09 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2017-06-09 |
wenzelm |
more uniform syntax_completion + semantic_completion;
|
file |
diff |
annotate
|
2017-05-25 |
wenzelm |
parallel retrieval of PIDE markup;
|
file |
diff |
annotate
|
2017-05-23 |
wenzelm |
support text overview colors via decorations;
|
file |
diff |
annotate
|
2017-04-17 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
2017-04-17 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
2017-03-13 |
wenzelm |
proper local debugger state, depending on session;
|
file |
diff |
annotate
|
2017-03-12 |
wenzelm |
discontinued pointless Text.Length: Javascript and Java agree in old-fashioned UTF-16;
|
file |
diff |
annotate
|
2017-03-10 |
wenzelm |
suppress irrelevant markup for VSCode;
|
file |
diff |
annotate
|
2017-03-10 |
wenzelm |
avoid extra decorations for regular command keywords;
|
file |
diff |
annotate
|
2017-03-10 |
wenzelm |
more compact protocol message;
|
file |
diff |
annotate
|
2017-03-07 |
wenzelm |
decorations for text color;
|
file |
diff |
annotate
|
2017-03-07 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2017-03-07 |
wenzelm |
decorations for spell-checker;
|
file |
diff |
annotate
|
2017-03-07 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
2017-03-07 |
wenzelm |
clarified options;
|
file |
diff |
annotate
|
2017-03-06 |
wenzelm |
clarified messages (with improved scalability): legacy/error as diagnostics, writeln/information/warning/bad as tooltips (dynamic hover);
|
file |
diff |
annotate
|
2017-03-05 |
wenzelm |
decorations for dotted underline: less intrusive;
|
file |
diff |
annotate
|