| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2009-02-16 21:23 +0100 | 1099 | Isabelle.props | file | revisions | annotate |
| -rw-r--r-- | 2009-02-16 21:23 +0100 | 214 | dockables.xml | file | revisions | annotate |
| -rw-r--r-- | 2009-02-16 21:23 +0100 | 5078 | isabelle_dock.scala | file | revisions | annotate |
| -rw-r--r-- | 2009-02-16 21:23 +0100 | 1660 | isabelle_parser.scala | file | revisions | annotate |
| -rw-r--r-- | 2009-02-16 21:23 +0100 | 4312 | isabelle_plugin.scala | file | revisions | annotate |
| -rwxr-xr-x | 2009-02-16 21:23 +0100 | 444 | mk | file | revisions | annotate |
| -rw-r--r-- | 2009-02-16 21:23 +0100 | 217 | services.xml | file | revisions | annotate |