drwxr-xr-x | [up] | |||
-rw-r--r-- | 2020-12-13 16:35 +0100 | 537 | isabelle-ml.xml | file | revisions | annotate |
-rw-r--r-- | 2020-12-13 16:35 +0100 | 447 | isabelle-news.xml | file | revisions | annotate |
-rw-r--r-- | 2020-12-13 16:35 +0100 | 542 | isabelle-options.xml | file | revisions | annotate |
-rw-r--r-- | 2020-12-13 16:35 +0100 | 547 | isabelle-root.xml | file | revisions | annotate |
-rw-r--r-- | 2020-12-13 16:35 +0100 | 541 | isabelle.xml | file | revisions | annotate |
-rw-r--r-- | 2020-12-13 16:35 +0100 | 523 | sml.xml | file | revisions | annotate |