drwxr-xr-x | [up] | |||
-rw-r--r-- | 2021-01-17 23:48 +0100 | 110311 | auto-tools.png | file | revisions | annotate |
-rw-r--r-- | 2021-01-17 23:48 +0100 | 240455 | bibtex-mode.png | file | revisions | annotate |
-rwxr-xr-x | 2021-01-17 23:48 +0100 | 128 | build | file | revisions | annotate |
-rw-r--r-- | 2021-01-17 23:48 +0100 | 258513 | cite-completion.png | file | revisions | annotate |
-rw-r--r-- | 2021-01-17 23:48 +0100 | 752757 | isabelle-jedit-hdpi.png | file | revisions | annotate |
-rw-r--r-- | 2021-01-17 23:48 +0100 | 174338 | isabelle-jedit.png | file | revisions | annotate |
-rw-r--r-- | 2021-01-17 23:48 +0100 | 97294 | markdown-document.png | file | revisions | annotate |
-rw-r--r-- | 2021-01-17 23:48 +0100 | 94536 | ml-debugger.png | file | revisions | annotate |
-rw-r--r-- | 2021-01-17 23:48 +0100 | 137540 | output-and-state.png | file | revisions | annotate |
-rw-r--r-- | 2021-01-17 23:48 +0100 | 112007 | output-including-state.png | file | revisions | annotate |
-rw-r--r-- | 2021-01-17 23:48 +0100 | 176564 | output.png | file | revisions | annotate |
-rw-r--r-- | 2021-01-17 23:48 +0100 | 52840 | popup1.png | file | revisions | annotate |
-rw-r--r-- | 2021-01-17 23:48 +0100 | 60904 | popup2.png | file | revisions | annotate |
-rw-r--r-- | 2021-01-17 23:48 +0100 | 168369 | query.png | file | revisions | annotate |
-rw-r--r-- | 2021-01-17 23:48 +0100 | 2262 | root.tex | file | revisions | annotate |
-rw-r--r-- | 2021-01-17 23:48 +0100 | 62736 | scope1.png | file | revisions | annotate |
-rw-r--r-- | 2021-01-17 23:48 +0100 | 55224 | scope2.png | file | revisions | annotate |
-rw-r--r-- | 2021-01-17 23:48 +0100 | 157804 | sidekick-document.png | file | revisions | annotate |
-rw-r--r-- | 2021-01-17 23:48 +0100 | 242424 | sidekick.png | file | revisions | annotate |
-rw-r--r-- | 2021-01-17 23:48 +0100 | 102671 | sledgehammer.png | file | revisions | annotate |
-rw-r--r-- | 2021-01-17 23:48 +0100 | 180534 | theories.png | file | revisions | annotate |