drwxr-xr-x | [up] | |||
-rw-r--r-- | 2017-05-23 10:59 +0200 | 80482 | auto-tools.png | file | revisions | annotate |
-rw-r--r-- | 2017-05-23 10:59 +0200 | 171402 | bibtex-mode.png | file | revisions | annotate |
-rwxr-xr-x | 2017-05-23 10:59 +0200 | 128 | build | file | revisions | annotate |
-rw-r--r-- | 2017-05-23 10:59 +0200 | 100568 | cite-completion.png | file | revisions | annotate |
-rw-r--r-- | 2017-05-23 10:59 +0200 | 272999 | isabelle-jedit-hdpi.png | file | revisions | annotate |
-rw-r--r-- | 2017-05-23 10:59 +0200 | 107731 | isabelle-jedit.png | file | revisions | annotate |
-rw-r--r-- | 2017-05-23 10:59 +0200 | 75256 | markdown-document.png | file | revisions | annotate |
-rw-r--r-- | 2017-05-23 10:59 +0200 | 82488 | ml-debugger.png | file | revisions | annotate |
-rw-r--r-- | 2017-05-23 10:59 +0200 | 111992 | output-and-state.png | file | revisions | annotate |
-rw-r--r-- | 2017-05-23 10:59 +0200 | 90238 | output-including-state.png | file | revisions | annotate |
-rw-r--r-- | 2017-05-23 10:59 +0200 | 137436 | output.png | file | revisions | annotate |
-rw-r--r-- | 2017-05-23 10:59 +0200 | 35461 | popup1.png | file | revisions | annotate |
-rw-r--r-- | 2017-05-23 10:59 +0200 | 40827 | popup2.png | file | revisions | annotate |
-rw-r--r-- | 2017-05-23 10:59 +0200 | 112362 | query.png | file | revisions | annotate |
-rw-r--r-- | 2017-05-23 10:59 +0200 | 2256 | root.tex | file | revisions | annotate |
-rw-r--r-- | 2017-05-23 10:59 +0200 | 39732 | scope1.png | file | revisions | annotate |
-rw-r--r-- | 2017-05-23 10:59 +0200 | 38650 | scope2.png | file | revisions | annotate |
-rw-r--r-- | 2017-05-23 10:59 +0200 | 103744 | sidekick-document.png | file | revisions | annotate |
-rw-r--r-- | 2017-05-23 10:59 +0200 | 142690 | sidekick.png | file | revisions | annotate |
-rw-r--r-- | 2017-05-23 10:59 +0200 | 76742 | sledgehammer.png | file | revisions | annotate |
-rw-r--r-- | 2017-05-23 10:59 +0200 | 139598 | theories.png | file | revisions | annotate |