Gabriel Ebner 8934eb7c91 Merge pull request #157843 from jvanbruegge/isabelle_setup ... isabelle: Rebuild isabelle_setup.jar		2022-03-01 12:11:25 +01:00
..
default.nix	Merge pull request #157843 from jvanbruegge/isabelle_setup	2022-03-01 12:11:25 +01:00