| Name | Date | Size | ||
|---|---|---|---|---|
| .. | 25-Jul-2019 | 8 | ||
| dockable.scala | H A D | 25-Jul-2019 | 1,015 | |
| Isabelle_Base.props | H A D | 25-Jul-2019 | 588 | |
| isabelle_encoding.scala | H A D | 25-Jul-2019 | 1.6 KiB | |
| jedit_lib.scala | H A D | 25-Jul-2019 | 476 | |
| pide_docking_framework.scala | H A D | 25-Jul-2019 | 2.2 KiB | |
| plugin.scala | H A D | 25-Jul-2019 | 594 | |
| services.xml | H A D | 25-Jul-2019 | 366 | |
| syntax_style.scala | H A D | 25-Jul-2019 | 1,007 |