wenzelm [Fri, 16 Feb 2024 20:18:21 +0100] rev 79634
support for alternative user home, e.g. to avoid slow NFS shares;
wenzelm [Fri, 16 Feb 2024 17:46:43 +0100] rev 79633
support explicit USER_HOME within SSH session;
wenzelm [Fri, 16 Feb 2024 15:17:30 +0100] rev 79632
tuned;
paulson [Fri, 16 Feb 2024 15:55:06 +0000] rev 79631
merged
paulson <lp15@cam.ac.uk> [Fri, 16 Feb 2024 11:22:29 +0000] rev 79630
Further adjustments to the syntax for Lebesgue integration
wenzelm [Fri, 16 Feb 2024 11:25:11 +0100] rev 79629
tuned comments;
wenzelm [Fri, 16 Feb 2024 11:15:43 +0100] rev 79628
more robust: always close, despite failure;
wenzelm [Fri, 16 Feb 2024 11:12:42 +0100] rev 79627
clarified signature;
wenzelm [Fri, 16 Feb 2024 10:51:49 +0100] rev 79626
tuned signature;
wenzelm [Fri, 16 Feb 2024 10:45:24 +0100] rev 79625
tuned comments;
wenzelm [Fri, 16 Feb 2024 10:31:50 +0100] rev 79624
clarified signature;
blanchet [Fri, 16 Feb 2024 09:24:45 +0100] rev 79623
Distinguish two versions of cvc5 -- one used for Sledgehammer, one for proof reconstruction in SMT. provided by Mathias Fleury
wenzelm [Thu, 15 Feb 2024 13:00:56 +0100] rev 79622
tuned whitespace;
wenzelm [Thu, 15 Feb 2024 12:57:19 +0100] rev 79621
prefer static object, while class is required for "services" (see 47eb96592aa2);