History log of /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src-base/services.xml
Revision Date Author Comments
# f2ad1c56 01-Sep-2017 wenzelm <none@none>

more robust: provide docking framework via base plugin;

--HG--
rename : src/Tools/jEdit/src/dockable.scala => src/Tools/jEdit/src-base/dockable.scala
rename : src/Tools/jEdit/src/pide_docking_framework.scala => src/Tools/jEdit/src-base/pide_docking_framework.scala
# 8606b952 20-Aug-2017 wenzelm <none@none>

separate base plugin for important services that should be always available, despite startup errors of the main plugin;

--HG--
rename : src/Tools/jEdit/src/isabelle_encoding.scala => src/Tools/jEdit/src-base/isabelle_encoding.scala