wenzelm [Wed, 25 Oct 2023 17:06:21 +0200] rev 78826
updated to vampire-4.8;
wenzelm [Wed, 25 Oct 2023 13:51:51 +0200] rev 78825
tuned README;
wenzelm [Wed, 25 Oct 2023 13:01:47 +0200] rev 78824
update Vampire version, following hints by Martin Desharnais;
wenzelm [Wed, 25 Oct 2023 11:52:40 +0200] rev 78823
removed junk;
desharna [Fri, 20 Oct 2023 12:26:56 +0200] rev 78822
tuned component_vampire script for Vampire 4.8 and added new flag to force version name
Fabian Huch <huch@in.tum.de> [Tue, 24 Oct 2023 18:29:53 +0200] rev 78821
prefer Isabelle options for CI mail settings over ci.properties;
paulson <lp15@cam.ac.uk> [Mon, 23 Oct 2023 16:19:19 +0100] rev 78820
Added the command nxsketch, which is like sketch except it separates these subgoals by "next" fills in the context using "fix"/"assume" rather than "for"/"if". Also the sketch command does the same if there is only one subgoal.
wenzelm [Mon, 23 Oct 2023 12:52:56 +0200] rev 78819
proper cut for Parse.enum1' and its derivatives (see also 769abc29bb8e);
wenzelm [Mon, 23 Oct 2023 12:11:39 +0200] rev 78818
unused (see fe9e590ae52f);
wenzelm [Mon, 23 Oct 2023 12:08:38 +0200] rev 78817
clarified modules;