/src/Tools/jEdit/patches/ Isabelle2020
drwxr-xr-x [up]
-rw-r--r-- 2020-04-13 22:08 +0200 736 accelerator_font
-rw-r--r-- 2020-04-13 22:08 +0200 1299 brackets
-rw-r--r-- 2020-04-13 22:08 +0200 1920 docking
-rw-r--r-- 2020-04-13 22:08 +0200 2634 extended_styles
-rw-r--r-- 2020-04-13 22:08 +0200 547 favorites
-rw-r--r-- 2020-04-13 22:08 +0200 1691 folding
-rw-r--r-- 2020-04-13 22:08 +0200 600 glyphvector
-rw-r--r-- 2020-04-13 22:08 +0200 7461 macosx
-rw-r--r-- 2020-04-13 22:08 +0200 798 props
-rw-r--r-- 2020-04-13 22:08 +0200 2314 putenv
-rw-r--r-- 2020-04-13 22:08 +0200 745 title
-rw-r--r-- 2020-04-13 22:08 +0200 767 vfs_manager
-rw-r--r-- 2020-04-13 22:08 +0200 2559 vfs_marker