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 |