/src/Tools/jEdit/nbproject/ Isabelle2009-2
drwxr-xr-x [up]
-rw-r--r-- 2010-06-21 11:24 +0200 36348 build-impl.xml
-rw-r--r-- 2010-06-21 11:24 +0200 453 genfiles.properties
-rw-r--r-- 2010-06-21 11:24 +0200 2547 project.properties
-rw-r--r-- 2010-06-21 11:24 +0200 926 project.xml