History log of /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/GUI/wrap_panel.scala
Revision Date Author Comments
# 7c43e5f4 20-May-2018 wenzelm <none@none>

prefer HTTPS;
# 3891c3e0 27-Jun-2017 wenzelm <none@none>

clarified defaults;
# 3d4309c0 27-Jun-2017 wenzelm <none@none>

tuned signature;
# 7e1f2050 12-Apr-2015 wenzelm <none@none>

less ambitious collection of quasi-generic PIDE modules;
# f9c7ac94 01-Apr-2014 wenzelm <none@none>

tuned for-comprehensions -- less structure mapping;
# f0483c7e 24-Sep-2013 wenzelm <none@none>

more quasi-generic PIDE modules (NB: Swing/JFX needs to be kept separate from non-GUI material);
# b6aa6f29 22-Sep-2013 wenzelm <none@none>

clarified location of GUI modules (which depend on Swing of JFX);

--HG--
rename : src/Pure/System/color_value.scala => src/Pure/GUI/color_value.scala
rename : src/Pure/System/gui.scala => src/Pure/GUI/gui.scala
rename : src/Pure/System/gui_setup.scala => src/Pure/GUI/gui_setup.scala
rename : src/Pure/System/html5_panel.scala => src/Pure/GUI/html5_panel.scala
rename : src/Pure/System/jfx_thread.scala => src/Pure/GUI/jfx_thread.scala
rename : src/Tools/jEdit/src/popup.scala => src/Pure/GUI/popup.scala
rename : src/Pure/System/swing_thread.scala => src/Pure/GUI/swing_thread.scala
rename : src/Pure/System/system_dialog.scala => src/Pure/GUI/system_dialog.scala
rename : src/Pure/System/wrap_panel.scala => src/Pure/GUI/wrap_panel.scala