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;
wenzelm [Wed, 07 May 2025 11:00:17 +0200] rev 82613
tuned;
wenzelm [Wed, 07 May 2025 10:45:09 +0200] rev 82612
clarified signature and modules;
wenzelm [Tue, 06 May 2025 17:03:56 +0200] rev 82611
tuned comments;
wenzelm [Tue, 06 May 2025 16:52:39 +0200] rev 82610
clarified signature;
haftmann [Wed, 07 May 2025 16:08:56 +0200] rev 82609
prefer official precise attribute
nipkow [Wed, 07 May 2025 07:48:07 +0200] rev 82608
Kleene's fixpoint thm
nipkow [Wed, 07 May 2025 06:21:46 +0200] rev 82607
merged
nipkow [Wed, 07 May 2025 06:20:42 +0200] rev 82606
Kleene for lfp