History log of /seL4-l4v-master/l4v/isabelle/src/Tools/VSCode/src/preview_panel.scala
Revision Date Author Comments
# ade1aedd 01-Jun-2019 wenzelm <none@none>

tuned imports -- accommodate scala-2.13.0-RC3;
# 481b9d82 07-Nov-2018 wenzelm <none@none>

more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
# b9421127 22-Dec-2017 wenzelm <none@none>

uniform preview for Isabelle/jEdit and Isabelle/VSCode;
# 5dc5e370 22-Dec-2017 wenzelm <none@none>

clarified modules;
# 9f139ce6 29-Jun-2017 wenzelm <none@none>

tuned output;
# 693785c7 29-Jun-2017 wenzelm <none@none>

tuned signature;
# 296ce8a2 16-Jun-2017 wenzelm <none@none>

clarified modules;

--HG--
rename : src/Tools/VSCode/src/preview.scala => src/Tools/VSCode/src/preview_panel.scala
rename : src/Tools/VSCode/src/state.scala => src/Tools/VSCode/src/state_panel.scala