paulson <lp15@cam.ac.uk> [Thu, 15 May 2025 14:37:19 +0100] rev 82623
Added two lemmas; renamed legacy_Complex_simps
nipkow [Mon, 12 May 2025 19:20:34 +0200] rev 82622
contributor
nipkow [Mon, 12 May 2025 19:19:41 +0200] rev 82621
added simproc for cont
Lukas Bartl <lukas.bartl@uni-a.de> [Mon, 12 May 2025 13:02:52 +0200] rev 82620
clarify Sledgehammer instantiations without preplay (dont_preplay option and tactic provers)
wenzelm [Sun, 11 May 2025 12:05:10 +0200] rev 82619
more robust (amending 4ca84abb16ef): Main_Plugin.start() could happen on other thread, e.g. when $JEDIT_SETTINGS/recent.xml refers to "isabelle-export:" URL;
nipkow [Fri, 09 May 2025 14:15:10 +0200] rev 82618
added lemma
wenzelm [Wed, 07 May 2025 22:07:52 +0200] rev 82617
merged
wenzelm [Wed, 07 May 2025 22:06:49 +0200] rev 82616
clarified settings: these are setup defaults, not necessarily the installed version;
wenzelm [Wed, 07 May 2025 21:52:22 +0200] rev 82615
provide "isabelle caddy_setup" and "isabelle caddy";
proper go-1.24.1 as required by xcaddy-0.4.4;
wenzelm [Wed, 07 May 2025 11:58:10 +0200] rev 82614
update to current go-1.24.3;