| Tue, 27 Jul 2021 15:20:20 +0200 | wenzelm | various improvements of "isabelle scala_project"; | file | diff | annotate |
| Tue, 27 Jul 2021 13:12:27 +0200 | wenzelm | support for native symlinks on Windows; | file | diff | annotate |
| Sat, 24 Jul 2021 15:38:41 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 24 Jul 2021 13:09:48 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 24 Jul 2021 12:24:56 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| 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 |
| Thu, 15 Jul 2021 16:35:45 +0200 | wenzelm | build.props for isabelle.jar, including isabelle.jedit; | file | diff | annotate |