| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2009-03-30 07:49 -0700 | 1099 | Isabelle.props | file | revisions | annotate |
| -rw-r--r-- | 2009-03-30 07:49 -0700 | 214 | dockables.xml | file | revisions | annotate |
| -rw-r--r-- | 2009-03-30 07:49 -0700 | 5078 | isabelle_dock.scala | file | revisions | annotate |
| -rw-r--r-- | 2009-03-30 07:49 -0700 | 1660 | isabelle_parser.scala | file | revisions | annotate |
| -rw-r--r-- | 2009-03-30 07:49 -0700 | 4312 | isabelle_plugin.scala | file | revisions | annotate |
| -rwxr-xr-x | 2009-03-30 07:49 -0700 | 444 | mk | file | revisions | annotate |
| -rw-r--r-- | 2009-03-30 07:49 -0700 | 217 | services.xml | file | revisions | annotate |