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