2 Commits

Author	SHA1	Message	Date
Makarius Wenzel	15feeb7d92	More standard package name: appears to work properly in Isabelle2022.	2022-10-24 21:38:01 +02:00
Makarius Wenzel	4e4995bde5	Isabelle/Scala build.props with some pro-forma services ... (unusual package name prevents problems with Maven/IntelliJ).	2021-12-19 16:50:21 +01:00