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