Cross Reference: /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src-base/pide_docking

Cross Reference: pide_docking_framework.scala

xref: /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src-base/pide_docking_framework.scala