/src/Tools/jEdit/src-base/
drwxr-xr-x [up]
-rw-r--r-- 2020-12-13 16:35 +0100 587 Isabelle_Base.props
-rw-r--r-- 2020-12-13 16:35 +0100 1017 dockable.scala
-rw-r--r-- 2020-12-13 16:35 +0100 1612 isabelle_encoding.scala
-rw-r--r-- 2020-12-13 16:35 +0100 476 jedit_lib.scala
-rw-r--r-- 2020-12-13 16:35 +0100 2254 pide_docking_framework.scala
-rw-r--r-- 2020-12-13 16:35 +0100 594 plugin.scala
-rw-r--r-- 2020-12-13 16:35 +0100 366 services.xml
-rw-r--r-- 2020-12-13 16:35 +0100 1007 syntax_style.scala