Sat, 17 Jul 2021 21:56:39 +0200 | wenzelm | rebuild component; | changeset | files |
Sat, 17 Jul 2021 21:52:14 +0200 | wenzelm | more complete scala_project, including Isabelle/jEdit plugins; | changeset | files |
Sat, 17 Jul 2021 21:40:57 +0200 | wenzelm | clarified directories; | changeset | files |