/src/Tools/isac/jEdit/plugin/ the isac plugin for jEdit
drwxr-xr-x [up]
-rw-r--r-- 2010-09-25 11:17 +0200 2107 Isac.props
-rw-r--r-- 2010-09-25 11:17 +0200 755 actions.xml
-rw-r--r-- 2010-09-25 11:17 +0200 341 dockables.xml
-rw-r--r-- 2010-09-25 11:17 +0200 11022 users-guide.xml