| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2017-08-20 14:03 +0200 | 1436 | isabelle_encoding.scala | file | revisions | annotate |
| -rw-r--r-- | 2017-08-20 14:03 +0200 | 293 | plugin.scala | file | revisions | annotate |
| -rw-r--r-- | 2017-08-20 14:03 +0200 | 221 | services.xml | file | revisions | annotate |