| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2014-08-18 12:17 +0200 | 98645 | auto-tools.png | file | revisions | annotate |
| -rwxr-xr-x | 2014-08-18 12:17 +0200 | 136 | build | file | revisions | annotate |
| -rw-r--r-- | 2014-08-18 12:17 +0200 | 144586 | isabelle-jedit.png | file | revisions | annotate |
| -rw-r--r-- | 2014-08-18 12:17 +0200 | 160026 | output.png | file | revisions | annotate |
| -rw-r--r-- | 2014-08-18 12:17 +0200 | 46720 | popup1.png | file | revisions | annotate |
| -rw-r--r-- | 2014-08-18 12:17 +0200 | 52706 | popup2.png | file | revisions | annotate |
| -rw-r--r-- | 2014-08-18 12:17 +0200 | 143135 | query.png | file | revisions | annotate |
| -rw-r--r-- | 2014-08-18 12:17 +0200 | 2207 | root.tex | file | revisions | annotate |
| -rw-r--r-- | 2014-08-18 12:17 +0200 | 180615 | sidekick.png | file | revisions | annotate |
| -rw-r--r-- | 2014-08-18 12:17 +0200 | 87176 | sledgehammer.png | file | revisions | annotate |
| -rw-r--r-- | 2014-08-18 12:17 +0200 | 161658 | theories.png | file | revisions | annotate |
