2017-11-12 |
wenzelm |
simplified: eliminated pointless Thy_Document_Model;
|
file |
diff |
annotate
|
2017-11-12 |
wenzelm |
PIDE resources for theory files;
|
file |
diff |
annotate
|
2017-11-11 |
wenzelm |
converted to Isabelle/Scala;
|
file |
diff |
annotate
|
2017-11-06 |
wenzelm |
minimal document model for theory files;
|
file |
diff |
annotate
|
2017-10-31 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
2017-10-09 |
wenzelm |
some administrative support for AFP;
|
file |
diff |
annotate
|
2017-10-08 |
wenzelm |
build_docker is regular tool (non-admin);
|
file |
diff |
annotate
|
2017-08-05 |
wenzelm |
support for resident Isabelle servers;
|
file |
diff |
annotate
|
2017-06-29 |
wenzelm |
HTML GUI actions via JavaScript;
|
file |
diff |
annotate
|
2017-06-20 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
2017-06-16 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
2017-06-16 |
wenzelm |
support for separate proof state output;
|
file |
diff |
annotate
|
2017-05-31 |
wenzelm |
explicit preview request/response;
|
file |
diff |
annotate
|
2017-05-30 |
wenzelm |
provide preview content on Scala side (similar to output);
|
file |
diff |
annotate
|
2017-05-09 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
2017-05-08 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
2017-05-06 |
wenzelm |
clarified name;
|
file |
diff |
annotate
|
2017-05-05 |
wenzelm |
legacy version for Jenkins website;
|
file |
diff |
annotate
|
2017-04-30 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
2017-04-23 |
wenzelm |
clarified tool name -- more official status;
|
file |
diff |
annotate
|
2017-04-19 |
wenzelm |
wrapper for "isabelle update_imports" with selection options like "isabelle build";
|
file |
diff |
annotate
|
2017-04-13 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
|
2017-03-18 |
wenzelm |
more realistic PIDE build session;
|
file |
diff |
annotate
|
2017-03-13 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
2017-03-11 |
wenzelm |
dynamic output, depending on caret focus (see also Tools/jEdit/src/output_dockable.scala);
|
file |
diff |
annotate
|
2017-03-07 |
wenzelm |
clarified modules: spell-checker in Pure;
|
file |
diff |
annotate
|
2017-03-07 |
wenzelm |
added admin tool "isabelle build_vscode";
|
file |
diff |
annotate
|
2017-03-02 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
2017-02-28 |
wenzelm |
proper Isabelle/Scala tool;
|
file |
diff |
annotate
|
2017-02-09 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
2017-02-08 |
wenzelm |
general SQL database support, for SQLite and PostgreSQL;
|
file |
diff |
annotate
|
2017-02-08 |
wenzelm |
minimal support for PostgreSQL databases;
|
file |
diff |
annotate
|
2017-01-21 |
wenzelm |
build_jdk in Scala;
|
file |
diff |
annotate
|
2017-01-15 |
wenzelm |
clarified settings;
|
file |
diff |
annotate
|
2017-01-14 |
wenzelm |
build docker image from Isabelle application bundle for Linux;
|
file |
diff |
annotate
|
2017-01-11 |
wenzelm |
generated configuration for Prettify Symbols Mode;
|
file |
diff |
annotate
|
2017-01-01 |
wenzelm |
generate static TextMate grammar for VSCode editor;
|
file |
diff |
annotate
|
2016-12-29 |
wenzelm |
watcher for file-system events;
|
file |
diff |
annotate
|
2016-12-28 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
2016-12-21 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
|
2016-12-20 |
wenzelm |
clarified module name;
|
file |
diff |
annotate
|
2016-12-20 |
wenzelm |
more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
|
file |
diff |
annotate
|
2016-12-20 |
wenzelm |
more systematic text length wrt. encoding;
|
file |
diff |
annotate
|
2016-12-20 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
2016-12-20 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
2016-12-20 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
2016-12-19 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
2016-12-19 |
wenzelm |
basic support for VSCode Language Server protocol;
|
file |
diff |
annotate
|
2016-11-10 |
wenzelm |
build_polyml in Scala;
|
file |
diff |
annotate
|
2016-10-24 |
wenzelm |
remove old target: it is on the classpath and may break scalac;
|
file |
diff |
annotate
|
2016-10-24 |
wenzelm |
discontinued unused / untested distinction of separate PIDE modules;
|
file |
diff |
annotate
|
2016-10-24 |
wenzelm |
proper Admin tool;
|
file |
diff |
annotate
|
2016-10-22 |
wenzelm |
regular user tool;
|
file |
diff |
annotate
|
2016-10-19 |
wenzelm |
proper isabelle tool in Scala;
|
file |
diff |
annotate
|
2016-10-16 |
wenzelm |
support for Non-Uniform Memory Access of separate CPU nodes;
|
file |
diff |
annotate
|
2016-10-13 |
wenzelm |
replaced shell script by Isabelle/Scala;
|
file |
diff |
annotate
|
2016-10-13 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
2016-10-12 |
wenzelm |
explicit indication of Admin tools;
|
file |
diff |
annotate
|
2016-10-12 |
wenzelm |
clarified files;
|
file |
diff |
annotate
|
2016-10-11 |
wenzelm |
basic setup for Isabelle cronjob;
|
file |
diff |
annotate
|