History log of /seL4-l4v-10.1.1/isabelle/src/Tools/VSCode/src/state_panel.scala
Revision Date Author Comments
# 01bfd5a0 03-Jan-2018 wenzelm <none@none>

more tight HTML output: avoid extra lines within <pre>;
# 6b88aa83 11-Aug-2017 wenzelm <none@none>

avoid spurious output after exit;
# 70870d00 29-Jun-2017 wenzelm <none@none>

proper dynamic controls, notably for auto_update_enabled;
# 693785c7 29-Jun-2017 wenzelm <none@none>

tuned signature;
# 1d766946 29-Jun-2017 wenzelm <none@none>

HTML GUI actions via JavaScript;
# 3891c3e0 27-Jun-2017 wenzelm <none@none>

clarified defaults;
# 265023e2 27-Jun-2017 wenzelm <none@none>

GUI controls similar to Tools/jEdit/src/state_dockable.scala;
# 61449955 16-Jun-2017 wenzelm <none@none>

tuned;
# 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