Thu, 15 Jul 2021 16:35:45 +0200 | wenzelm | build.props for isabelle.jar, including isabelle.jedit; | file | diff | annotate |
Thu, 01 Jul 2021 14:06:20 +0200 | wenzelm | clarified directories; | file | diff | annotate |
Wed, 30 Jun 2021 21:30:37 +0200 | wenzelm | clarified Isabelle/Java/Scala project setup; | file | diff | annotate |