| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 213989 | auto-tools.png | file | revisions | annotate |
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 569266 | bibtex-mode.png | file | revisions | annotate |
| -rwxr-xr-x | 2019-12-01 19:15 +0000 | 128 | build | file | revisions | annotate |
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 258513 | cite-completion.png | file | revisions | annotate |
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 752757 | isabelle-jedit-hdpi.png | file | revisions | annotate |
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 369556 | isabelle-jedit.png | file | revisions | annotate |
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 186514 | markdown-document.png | file | revisions | annotate |
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 197266 | ml-debugger.png | file | revisions | annotate |
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 293311 | output-and-state.png | file | revisions | annotate |
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 236713 | output-including-state.png | file | revisions | annotate |
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 378193 | output.png | file | revisions | annotate |
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 91743 | popup1.png | file | revisions | annotate |
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 105857 | popup2.png | file | revisions | annotate |
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 321414 | query.png | file | revisions | annotate |
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 2283 | root.tex | file | revisions | annotate |
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 97914 | scope1.png | file | revisions | annotate |
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 95517 | scope2.png | file | revisions | annotate |
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 310989 | sidekick-document.png | file | revisions | annotate |
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 509804 | sidekick.png | file | revisions | annotate |
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 196769 | sledgehammer.png | file | revisions | annotate |
| -rw-r--r-- | 2019-12-01 19:15 +0000 | 380110 | theories.png | file | revisions | annotate |
