/lib/jedit/plugin/
drwxr-xr-x [up]
-rw-r--r-- 2009-01-14 17:11 -0800 1099 Isabelle.props
-rw-r--r-- 2009-01-14 17:11 -0800 214 dockables.xml
-rw-r--r-- 2009-01-14 17:11 -0800 5078 isabelle_dock.scala
-rw-r--r-- 2009-01-14 17:11 -0800 1660 isabelle_parser.scala
-rw-r--r-- 2009-01-14 17:11 -0800 4312 isabelle_plugin.scala
-rwxr-xr-x 2009-01-14 17:11 -0800 444 mk
-rw-r--r-- 2009-01-14 17:11 -0800 217 services.xml