| 2023-02-03 |
wenzelm |
maintain document_output meta data;
|
file |
diff |
annotate
|
| 2023-01-24 |
wenzelm |
clarified signature: minimal interface for getenv/expand_env, instead of bulky java.util.Map;
|
file |
diff |
annotate
|
| 2023-01-20 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2023-01-20 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2023-01-17 |
wenzelm |
clarified file positions: retain original source path;
|
file |
diff |
annotate
|
| 2023-01-03 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 2022-12-30 |
wenzelm |
tuned signature: avoid too many aliases;
|
file |
diff |
annotate
|
| 2022-10-21 |
wenzelm |
support for Zstd data compression;
|
file |
diff |
annotate
|
| 2022-08-29 |
wenzelm |
tool to build Isabelle component for cvc5;
|
file |
diff |
annotate
|
| 2022-08-20 |
wenzelm |
more thorough checks of browser_info file conflicts;
|
file |
diff |
annotate
|
| 2022-07-27 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| 2022-07-25 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| 2022-04-01 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| 2022-03-23 |
wenzelm |
more formal extension_manifest, with shasum for sources;
|
file |
diff |
annotate
|
| 2022-03-12 |
wenzelm |
clarified and unified executable names;
|
file |
diff |
annotate
|
| 2022-03-06 |
wenzelm |
prepare patched version more thoroughly, with explicit patches;
|
file |
diff |
annotate
|
| 2022-03-05 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| 2022-02-21 |
wenzelm |
HTTP view of Isabelle PDF documentation;
|
file |
diff |
annotate
|
| 2022-02-20 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| 2021-07-24 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| 2021-07-08 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2021-06-30 |
wenzelm |
clarified signature: prefer Java interfaces;
|
file |
diff |
annotate
|
| 2021-05-17 |
wenzelm |
clarified signature -- avoid odd warning about scala/bug#6675;
|
file |
diff |
annotate
|
| 2021-05-17 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| 2021-05-14 |
wenzelm |
reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive;
|
file |
diff |
annotate
|
| 2021-05-10 |
wenzelm |
put more resources into jedit_build component;
|
file |
diff |
annotate
|
| 2021-05-05 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2021-03-31 |
wenzelm |
tuned signature -- more explicit types;
|
file |
diff |
annotate
|
| 2021-03-04 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2021-03-04 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| 2021-03-04 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| 2021-03-01 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| 2020-12-20 |
wenzelm |
present auxiliary files with PIDE markup;
|
file |
diff |
annotate
|
| 2020-11-29 |
wenzelm |
Path.implode_symbolic as in ML;
|
file |
diff |
annotate
|
| 2020-11-29 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2020-11-27 |
wenzelm |
proper structural equality;
|
file |
diff |
annotate
|
| 2020-11-11 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2020-11-11 |
wenzelm |
build documents in Isabelle/Scala, based on generated tex files as session exports;
|
file |
diff |
annotate
|
| 2020-11-11 |
wenzelm |
more operations (as in Isabelle/ML);
|
file |
diff |
annotate
|
| 2020-10-13 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2020-03-27 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| 2020-01-15 |
wenzelm |
misc tuning, following hint by IntelliJ;
|
file |
diff |
annotate
|
| 2019-03-13 |
wenzelm |
more sanity checks;
|
file |
diff |
annotate
|
| 2019-01-16 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| 2018-12-30 |
wenzelm |
exclude file name components that are special on Windows;
|
file |
diff |
annotate
|
| 2018-12-30 |
wenzelm |
reject further illegal chars according to https://docs.microsoft.com/en-us/windows/desktop/fileio/naming-a-file
|
file |
diff |
annotate
|
| 2018-12-30 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2018-12-30 |
wenzelm |
more strict check: avoid confusion of Path.basic with Path.current / Path.parent;
|
file |
diff |
annotate
|
| 2018-12-30 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2018-11-28 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2018-11-28 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| 2017-12-11 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| 2017-06-30 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| 2017-06-01 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2017-05-14 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2017-04-23 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| 2016-10-15 |
wenzelm |
expand relatively to given environment, notably remote HOME;
|
file |
diff |
annotate
|
| 2016-09-14 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2015-08-20 |
wenzelm |
tuned signature, according to ML version;
|
file |
diff |
annotate
|
| 2015-05-02 |
wenzelm |
misc tuning, based on warnings by IntelliJ IDEA;
|
file |
diff |
annotate
|