| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2012-07-20 22:19 +0200 | 968 | isabelle-options.xml | file | revisions | annotate |
| -rw-r--r-- | 2012-07-20 22:19 +0200 | 1107 | isabelle-session.xml | file | revisions | annotate |
| -rw-r--r-- | 2012-07-20 22:19 +0200 | 1137 | isabelle.xml | file | revisions | annotate |
| -rw-r--r-- | 2012-07-20 22:19 +0200 | 12999 | scala.xml | file | revisions | annotate |