| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2021-07-15 16:35 +0200 | 5833 | actions.xml | file | revisions | annotate |
| -rw-r--r-- | 2021-07-15 16:35 +0200 | 315 | build.props | file | revisions | annotate |
| -rw-r--r-- | 2021-07-15 16:35 +0200 | 2032 | dockables.xml | file | revisions | annotate |
| -rw-r--r-- | 2021-07-15 16:35 +0200 | 10044 | isabelle_sidekick.scala | file | revisions | annotate |
| -rw-r--r-- | 2021-07-15 16:35 +0200 | 4074 | plugin.props | file | revisions | annotate |
| -rw-r--r-- | 2021-07-15 16:35 +0200 | 187 | plugin.scala | file | revisions | annotate |
| -rw-r--r-- | 2021-07-15 16:35 +0200 | 5271 | scala_console.scala | file | revisions | annotate |
| -rw-r--r-- | 2021-07-15 16:35 +0200 | 2477 | services.xml | file | revisions | annotate |