| 2022-03-21 |
wenzelm |
incorporate build_grammar into build_vscode_extension;
|
file |
diff |
annotate
|
| 2022-03-09 |
wenzelm |
patch VSCode source tree to support isabelle_encoding.ts;
|
file |
diff |
annotate
|
| 2022-03-08 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
|
| 2022-03-04 |
wenzelm |
build component for VSCodium (cross-compiled from sources for all platforms);
|
file |
diff |
annotate
|
| 2022-02-20 |
wenzelm |
support for PDF.js: platform-independent PDF viewer;
|
file |
diff |
annotate
|
| 2022-02-17 |
wenzelm |
setup VSCode from VSCodium distribution;
|
file |
diff |
annotate
|
| 2021-10-07 |
wenzelm |
build minisat, using recent fork from original sources;
|
file |
diff |
annotate
|
| 2021-05-17 |
wenzelm |
clarified modules;
|
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 |
build auxiliary jEdit component in Isabelle/Scala;
|
file |
diff |
annotate
|
| 2021-04-12 |
wenzelm |
clarified signature for Scala functions;
|
file |
diff |
annotate
|
| 2021-03-24 |
wenzelm |
support for Java Chromium Embedded Framework (JCEF): still somewhat fragile;
|
file |
diff |
annotate
|
| 2021-03-09 |
wenzelm |
proper Isabelle/Scala tool --- avoid perl;
|
file |
diff |
annotate
|
| 2021-03-04 |
wenzelm |
tuned --- avoid compiler warnings;
|
file |
diff |
annotate
|
| 2021-03-04 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
| 2021-03-01 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| 2020-12-12 |
wenzelm |
build Isabelle Vampire component from repository;
|
file |
diff |
annotate
|
| 2020-12-09 |
wenzelm |
added "isabelle log": print messages from build database;
|
file |
diff |
annotate
|
| 2020-11-28 |
wenzelm |
clarified files;
|
file |
diff |
annotate
|
| 2020-11-28 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| 2020-11-28 |
wenzelm |
avoid conflicting base names;
|
file |
diff |
annotate
|
| 2020-11-18 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 2020-10-13 |
wenzelm |
build Isabelle Zipperposition component from OPAM repository;
|
file |
diff |
annotate
|
| 2020-10-11 |
wenzelm |
build Isabelle veriT component from official download;
|
file |
diff |
annotate
|
| 2020-10-09 |
wenzelm |
build Isabelle CSDP component from official downloads;
|
file |
diff |
annotate
|
| 2020-10-09 |
wenzelm |
build Isabelle SPASS component from unofficial download;
|
file |
diff |
annotate
|
| 2020-10-02 |
wenzelm |
build Isabelle E prover component from official downloads;
|
file |
diff |
annotate
|
| 2020-09-30 |
wenzelm |
build Isabelle sqlite-jdbc component from official download;
|
file |
diff |
annotate
|
| 2020-08-16 |
wenzelm |
clarified management of services: static declarations vs. dynamic instances (e.g. relevant for stateful Session.Protocol_Handler, notably Scala.Handler and session "System");
|
file |
diff |
annotate
|
| 2020-04-28 |
wenzelm |
added "isabelle sessions" tool;
|
file |
diff |
annotate
|
| 2020-04-09 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2020-04-08 |
wenzelm |
another isabelle_scala_service;
|
file |
diff |
annotate
|
| 2020-03-30 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| 2020-01-15 |
wenzelm |
misc tuning, following hint by IntelliJ;
|
file |
diff |
annotate
|
| 2020-01-15 |
wenzelm |
added "isabelle scala_project" to support e.g. IntelliJ IDEA;
|
file |
diff |
annotate
|
| 2019-12-18 |
wenzelm |
added command hg_setup: setup remote vs. local Mercurial repository;
|
file |
diff |
annotate
|
| 2019-11-13 |
wenzelm |
configure SSH hosting via "isabelle phabricator_setup_ssh";
|
file |
diff |
annotate
|
| 2019-11-11 |
wenzelm |
added "isabelle phabricator";
|
file |
diff |
annotate
|
| 2019-10-30 |
wenzelm |
some support for Phabricator server;
|
file |
diff |
annotate
|
| 2019-09-12 |
wenzelm |
discontinued obsolete "isabelle imports" and all_known data;
|
file |
diff |
annotate
|
| 2019-02-15 |
wenzelm |
clarified name;
|
file |
diff |
annotate
|
| 2018-12-31 |
wenzelm |
update theory sources based on PIDE markup;
|
file |
diff |
annotate
|
| 2018-12-08 |
wenzelm |
replaced "isabelle components_checksum" shell script by "isabelle build_components" in Scala, with more functionality;
|
file |
diff |
annotate
|
| 2018-12-05 |
wenzelm |
eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala;
|
file |
diff |
annotate
|
| 2018-11-24 |
wenzelm |
clarified module name (again);
|
file |
diff |
annotate
|
| 2018-11-23 |
wenzelm |
added Isabelle tool wrapper;
|
file |
diff |
annotate
|
| 2018-11-10 |
wenzelm |
support for user-defined Isabelle/Scala command-line tools;
|
file |
diff |
annotate
|
| 2018-10-21 |
wenzelm |
eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting;
|
file |
diff |
annotate
|
| 2018-05-28 |
wenzelm |
support to dump build database produced by PIDE session;
|
file |
diff |
annotate
|
| 2018-05-08 |
wenzelm |
command-line tool "isabelle export";
|
file |
diff |
annotate
|
| 2018-01-14 |
wenzelm |
more specific tool "isabelle update_comments", for uniformity with formal comments in embedded languages;
|
file |
diff |
annotate
|
| 2017-12-10 |
wenzelm |
re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here;
|
file |
diff |
annotate
|
| 2017-12-10 |
wenzelm |
more explicit latex errors;
|
file |
diff |
annotate
|
| 2017-11-11 |
wenzelm |
converted to Isabelle/Scala;
|
file |
diff |
annotate
|
| 2017-10-11 |
wenzelm |
reactivated unfinished tool (cf. a3a847c4fbdb);
|
file |
diff |
annotate
|
| 2017-08-28 |
wenzelm |
not ready for release;
|
file |
diff |
annotate
|
| 2017-08-05 |
wenzelm |
support for resident Isabelle servers;
|
file |
diff |
annotate
|
| 2017-05-19 |
wenzelm |
clarified build_polyml_component;
|
file |
diff |
annotate
|
| 2017-05-06 |
wenzelm |
clarified name;
|
file |
diff |
annotate
|
| 2017-04-28 |
wenzelm |
tuned;
|
file |
diff |
annotate
|