| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2021-10-26 16:22 +0100 | 110311 | auto-tools.png | file | revisions | annotate |
| -rw-r--r-- | 2021-10-26 16:22 +0100 | 240455 | bibtex-mode.png | file | revisions | annotate |
| -rw-r--r-- | 2021-10-26 16:22 +0100 | 137316 | cite-completion.png | file | revisions | annotate |
| -rw-r--r-- | 2021-10-26 16:22 +0100 | 174338 | isabelle-jedit.png | file | revisions | annotate |
| -rw-r--r-- | 2021-10-26 16:22 +0100 | 97294 | markdown-document.png | file | revisions | annotate |
| -rw-r--r-- | 2021-10-26 16:22 +0100 | 94536 | ml-debugger.png | file | revisions | annotate |
| -rw-r--r-- | 2021-10-26 16:22 +0100 | 137540 | output-and-state.png | file | revisions | annotate |
| -rw-r--r-- | 2021-10-26 16:22 +0100 | 112007 | output-including-state.png | file | revisions | annotate |
| -rw-r--r-- | 2021-10-26 16:22 +0100 | 176564 | output.png | file | revisions | annotate |
| -rw-r--r-- | 2021-10-26 16:22 +0100 | 52840 | popup1.png | file | revisions | annotate |
| -rw-r--r-- | 2021-10-26 16:22 +0100 | 60904 | popup2.png | file | revisions | annotate |
| -rw-r--r-- | 2021-10-26 16:22 +0100 | 168369 | query.png | file | revisions | annotate |
| -rw-r--r-- | 2021-10-26 16:22 +0100 | 2261 | root.tex | file | revisions | annotate |
| -rw-r--r-- | 2021-10-26 16:22 +0100 | 62736 | scope1.png | file | revisions | annotate |
| -rw-r--r-- | 2021-10-26 16:22 +0100 | 55224 | scope2.png | file | revisions | annotate |
| -rw-r--r-- | 2021-10-26 16:22 +0100 | 157804 | sidekick-document.png | file | revisions | annotate |
| -rw-r--r-- | 2021-10-26 16:22 +0100 | 242424 | sidekick.png | file | revisions | annotate |
| -rw-r--r-- | 2021-10-26 16:22 +0100 | 102671 | sledgehammer.png | file | revisions | annotate |
| -rw-r--r-- | 2021-10-26 16:22 +0100 | 180534 | theories.png | file | revisions | annotate |
