Achim D. Brucker df5d037942 Bumped version to 1.3.0.		2022-07-08 12:04:20 +01:00
..
build.props	Isabelle/Scala build.props with some pro-forma services	2021-12-19 16:50:21 +01:00
options	Bumped version to 1.3.0.	2022-07-08 12:04:20 +01:00
settings	Read settings from options.	2022-06-24 18:45:48 +01:00