History log of /seL4-l4v-master/isabelle/src/Tools/VSCode/src/build_vscode.scala
Revision Date Author Comments
# 59c25f4f 10-Nov-2018 wenzelm <none@none>

support for user-defined Isabelle/Scala command-line tools;
misc tuning and clarification;
# e1c51769 01-Nov-2017 wenzelm <none@none>

tuned signature;
# bb0d7c0e 31-Oct-2017 wenzelm <none@none>

clarified signature;
# 2b4426ac 31-Oct-2017 wenzelm <none@none>

clarified signature;
# d902c6a9 29-Sep-2017 wenzelm <none@none>

tuned signature;
# 7cd97bc4 30-Jun-2017 wenzelm <none@none>

more robust: always package;
# 690476ca 30-Jun-2017 wenzelm <none@none>

prefer explicit link;
# 0261dd4e 29-Jun-2017 wenzelm <none@none>

provide --baseImagesUrl for VSCode extensions marketplace;
# bfaa7599 12-Jun-2017 wenzelm <none@none>

dynamic configuration of prettify-symbols-mode, similar to VSCoq;
# 3626bec4 04-Apr-2017 wenzelm <none@none>

tuned headers;
# 53287d01 15-Mar-2017 wenzelm <none@none>

clarified modules;
# 570efc24 13-Mar-2017 wenzelm <none@none>

tuned signature;
# 40e055ea 09-Mar-2017 wenzelm <none@none>

more thorough build;
# faf3aef0 07-Mar-2017 wenzelm <none@none>

added admin tool "isabelle build_vscode";