/src/Doc/JEdit/document/
drwxr-xr-x [up]
-rw-r--r-- 2015-03-25 11:39 +0100 98645 auto-tools.png
-rwxr-xr-x 2015-03-25 11:39 +0100 136 build
-rw-r--r-- 2015-03-25 11:39 +0100 144586 isabelle-jedit.png
-rw-r--r-- 2015-03-25 11:39 +0100 160026 output.png
-rw-r--r-- 2015-03-25 11:39 +0100 46720 popup1.png
-rw-r--r-- 2015-03-25 11:39 +0100 52706 popup2.png
-rw-r--r-- 2015-03-25 11:39 +0100 143135 query.png
-rw-r--r-- 2015-03-25 11:39 +0100 2207 root.tex
-rw-r--r-- 2015-03-25 11:39 +0100 180615 sidekick.png
-rw-r--r-- 2015-03-25 11:39 +0100 87176 sledgehammer.png
-rw-r--r-- 2015-03-25 11:39 +0100 161658 theories.png