Achim D. Brucker 873151b4f3 Update to Isabelle 2022.		2022-10-30 17:56:15 +00:00
..
build.props	More standard package name: appears to work properly in Isabelle2022.	2022-10-24 21:38:01 +02:00
options	Update to Isabelle 2022.	2022-10-30 17:56:15 +00:00
settings	Read settings from options.	2022-06-24 18:45:48 +01:00