/src/Tools/jEdit/patches/jedit-4.5.1/ Isabelle2012
drwxr-xr-x [up]
-rw-r--r-- 2012-05-20 11:34 +0200 525 caret
-rw-r--r-- 2012-05-20 11:34 +0200 2867 extended_styles
-rw-r--r-- 2012-05-20 11:34 +0200 484 macos
-rw-r--r-- 2012-05-20 11:34 +0200 659 memory