Mon, 04 Oct 2021 20:07:51 +0200 discontinued perl;
wenzelm [Mon, 04 Oct 2021 20:07:51 +0200] rev 74449
discontinued perl;
Mon, 04 Oct 2021 19:17:50 +0200 clarified signature;
wenzelm [Mon, 04 Oct 2021 19:17:50 +0200] rev 74448
clarified signature;
Mon, 04 Oct 2021 19:12:24 +0200 proper term operation Term.dest_abs;
wenzelm [Mon, 04 Oct 2021 19:12:24 +0200] rev 74447
proper term operation Term.dest_abs;
Mon, 04 Oct 2021 18:19:16 +0200 tuned;
wenzelm [Mon, 04 Oct 2021 18:19:16 +0200] rev 74446
tuned;
Mon, 04 Oct 2021 18:12:55 +0200 tuned proofs;
wenzelm [Mon, 04 Oct 2021 18:12:55 +0200] rev 74445
tuned proofs; fewer warnings;
Mon, 04 Oct 2021 18:02:04 +0200 more standard binder syntax;
wenzelm [Mon, 04 Oct 2021 18:02:04 +0200] rev 74444
more standard binder syntax;
Mon, 04 Oct 2021 17:46:18 +0200 clarified 'let' syntax: avoid conflict with existing 'let' in FOL;
wenzelm [Mon, 04 Oct 2021 17:46:18 +0200] rev 74443
clarified 'let' syntax: avoid conflict with existing 'let' in FOL;
Mon, 04 Oct 2021 17:22:17 +0200 tuned;
wenzelm [Mon, 04 Oct 2021 17:22:17 +0200] rev 74442
tuned;
Mon, 04 Oct 2021 17:09:12 +0200 tuned;
wenzelm [Mon, 04 Oct 2021 17:09:12 +0200] rev 74441
tuned;
Mon, 04 Oct 2021 16:11:18 +0100 merged
paulson [Mon, 04 Oct 2021 16:11:18 +0100] rev 74440
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip