/src/Tools/jEdit/nbproject/ Isabelle2011
drwxr-xr-x [up]
-rw-r--r-- 2011-01-30 13:02 +0100 36348 build-impl.xml
-rw-r--r-- 2011-01-30 13:02 +0100 453 genfiles.properties
-rw-r--r-- 2011-01-30 13:02 +0100 2547 project.properties
-rw-r--r-- 2011-01-30 13:02 +0100 926 project.xml