| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 213523 | auto-tools.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 534461 | bibtex-mode.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 291672 | cite-completion.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 313683 | document-panel.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 326390 | isabelle-jedit.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 194457 | markdown-document.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 169069 | ml-debugger.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 240314 | output-and-state.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 240234 | output-including-state.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 370034 | output.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 112221 | popup1.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 125617 | popup2.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 108724 | popup3.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 108933 | popup4.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 339793 | query.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 2261 | root.tex | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 111286 | scope1.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 108001 | scope2.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 324233 | sidekick-document.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 490487 | sidekick.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 284281 | sledgehammer.png | file | revisions | annotate |
| -rw-r--r-- | 2025-03-12 11:39 +0100 | 380397 | theories.png | file | revisions | annotate |
