| Sat, 17 Jul 2021 21:52:14 +0200 | wenzelm | more complete scala_project, including Isabelle/jEdit plugins; | file | diff | annotate |
| Sat, 17 Jul 2021 21:31:15 +0200 | wenzelm | more accurate scala_project, based on build.props of components; | file | diff | annotate |