| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2016-01-01 14:44 +0100 | 80269 | auto-tools.png | file | revisions | annotate |
| -rw-r--r-- | 2016-01-01 14:44 +0100 | 185471 | bibtex-mode.png | file | revisions | annotate |
| -rwxr-xr-x | 2016-01-01 14:44 +0100 | 136 | build | file | revisions | annotate |
| -rw-r--r-- | 2016-01-01 14:44 +0100 | 101147 | cite-completion.png | file | revisions | annotate |
| -rw-r--r-- | 2016-01-01 14:44 +0100 | 269827 | isabelle-jedit-hdpi.png | file | revisions | annotate |
| -rw-r--r-- | 2016-01-01 14:44 +0100 | 113545 | isabelle-jedit.png | file | revisions | annotate |
| -rw-r--r-- | 2016-01-01 14:44 +0100 | 131847 | output.png | file | revisions | annotate |
| -rw-r--r-- | 2016-01-01 14:44 +0100 | 36852 | popup1.png | file | revisions | annotate |
| -rw-r--r-- | 2016-01-01 14:44 +0100 | 41994 | popup2.png | file | revisions | annotate |
| -rw-r--r-- | 2016-01-01 14:44 +0100 | 111151 | query.png | file | revisions | annotate |
| -rw-r--r-- | 2016-01-01 14:44 +0100 | 2256 | root.tex | file | revisions | annotate |
| -rw-r--r-- | 2016-01-01 14:44 +0100 | 104000 | sidekick-document.png | file | revisions | annotate |
| -rw-r--r-- | 2016-01-01 14:44 +0100 | 142400 | sidekick.png | file | revisions | annotate |
| -rw-r--r-- | 2016-01-01 14:44 +0100 | 81494 | sledgehammer.png | file | revisions | annotate |
| -rw-r--r-- | 2016-01-01 14:44 +0100 | 144091 | theories.png | file | revisions | annotate |
