/lib/jedit/plugin/ Isabelle2008
drwxr-xr-x [up]
drwxr-xr-x isabelle
-rw-r--r-- 2008-06-08 14:31 +0200 865 Isabelle.props
-rw-r--r-- 2008-06-08 14:31 +0200 208 dockables.xml
-rwxr-xr-x 2008-06-08 14:31 +0200 504 mk
-rw-r--r-- 2008-06-08 14:31 +0200 211 services.xml