| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2015-05-03 17:36 +0200 | 78732 | auto-tools.png | file | revisions | annotate |
| -rwxr-xr-x | 2015-05-03 17:36 +0200 | 136 | build | file | revisions | annotate |
| -rw-r--r-- | 2015-05-03 17:36 +0200 | 113545 | isabelle-jedit.png | file | revisions | annotate |
| -rw-r--r-- | 2015-05-03 17:36 +0200 | 131847 | output.png | file | revisions | annotate |
| -rw-r--r-- | 2015-05-03 17:36 +0200 | 36852 | popup1.png | file | revisions | annotate |
| -rw-r--r-- | 2015-05-03 17:36 +0200 | 41994 | popup2.png | file | revisions | annotate |
| -rw-r--r-- | 2015-05-03 17:36 +0200 | 111151 | query.png | file | revisions | annotate |
| -rw-r--r-- | 2015-05-03 17:36 +0200 | 2207 | root.tex | file | revisions | annotate |
| -rw-r--r-- | 2015-05-03 17:36 +0200 | 142400 | sidekick.png | file | revisions | annotate |
| -rw-r--r-- | 2015-05-03 17:36 +0200 | 81494 | sledgehammer.png | file | revisions | annotate |
| -rw-r--r-- | 2015-05-03 17:36 +0200 | 144091 | theories.png | file | revisions | annotate |
