| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 80482 | auto-tools.png | file | revisions | annotate |
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 391630 | bibtex-mode.png | file | revisions | annotate |
| -rwxr-xr-x | 2018-11-03 20:00 +0100 | 128 | build | file | revisions | annotate |
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 100568 | cite-completion.png | file | revisions | annotate |
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 272999 | isabelle-jedit-hdpi.png | file | revisions | annotate |
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 107731 | isabelle-jedit.png | file | revisions | annotate |
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 75256 | markdown-document.png | file | revisions | annotate |
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 82488 | ml-debugger.png | file | revisions | annotate |
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 109925 | output-and-state.png | file | revisions | annotate |
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 89582 | output-including-state.png | file | revisions | annotate |
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 138986 | output.png | file | revisions | annotate |
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 35461 | popup1.png | file | revisions | annotate |
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 40827 | popup2.png | file | revisions | annotate |
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 112362 | query.png | file | revisions | annotate |
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 2256 | root.tex | file | revisions | annotate |
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 39732 | scope1.png | file | revisions | annotate |
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 38650 | scope2.png | file | revisions | annotate |
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 103744 | sidekick-document.png | file | revisions | annotate |
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 142690 | sidekick.png | file | revisions | annotate |
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 76742 | sledgehammer.png | file | revisions | annotate |
| -rw-r--r-- | 2018-11-03 20:00 +0100 | 142365 | theories.png | file | revisions | annotate |
