drwxr-xr-x | [up] | |||
-rw-r--r-- | 2008-08-25 21:59 +0200 | 1010 | Isabelle.props | file | revisions | annotate |
-rw-r--r-- | 2008-08-25 21:59 +0200 | 214 | dockables.xml | file | revisions | annotate |
-rw-r--r-- | 2008-08-25 21:59 +0200 | 5044 | isabelle_dock.scala | file | revisions | annotate |
-rw-r--r-- | 2008-08-25 21:59 +0200 | 1452 | isabelle_parser.scala | file | revisions | annotate |
-rw-r--r-- | 2008-08-25 21:59 +0200 | 4030 | isabelle_plugin.scala | file | revisions | annotate |
-rwxr-xr-x | 2008-08-25 21:59 +0200 | 444 | mk | file | revisions | annotate |
-rw-r--r-- | 2008-08-25 21:59 +0200 | 217 | services.xml | file | revisions | annotate |