Mon, 07 Aug 2017 10:40:40 +0200 updated remote Vampire version
blanchet [Mon, 07 Aug 2017 10:40:40 +0200] rev 66362
updated remote Vampire version
Sun, 06 Aug 2017 22:54:17 +0200 merged
paulson [Sun, 06 Aug 2017 22:54:17 +0200] rev 66361
merged
Sun, 06 Aug 2017 21:49:25 +0200 slightly generalized card_lists_distinct_length_eq; renamed specialized card_lists_distinct_length_eq to card_lists_distinct_length_eq'; tuned
bulwahn [Sun, 06 Aug 2017 21:49:25 +0200] rev 66360
slightly generalized card_lists_distinct_length_eq; renamed specialized card_lists_distinct_length_eq to card_lists_distinct_length_eq'; tuned
Sun, 06 Aug 2017 22:54:03 +0200 more integration cleanups
paulson <lp15@cam.ac.uk> [Sun, 06 Aug 2017 22:54:03 +0200] rev 66359
more integration cleanups
Sun, 06 Aug 2017 20:41:27 +0200 merged
paulson [Sun, 06 Aug 2017 20:41:27 +0200] rev 66358
merged
Sun, 06 Aug 2017 18:56:47 +0200 merged
wenzelm [Sun, 06 Aug 2017 18:56:47 +0200] rev 66357
merged
Sun, 06 Aug 2017 18:51:32 +0200 proper check for active server;
wenzelm [Sun, 06 Aug 2017 18:51:32 +0200] rev 66356
proper check for active server;
Sun, 06 Aug 2017 17:42:04 +0200 clarified signature;
wenzelm [Sun, 06 Aug 2017 17:42:04 +0200] rev 66355
clarified signature;
Sun, 06 Aug 2017 17:38:54 +0200 tuned signature;
wenzelm [Sun, 06 Aug 2017 17:38:54 +0200] rev 66354
tuned signature;
Sun, 06 Aug 2017 17:32:32 +0200 handle server connections;
wenzelm [Sun, 06 Aug 2017 17:32:32 +0200] rev 66353
handle server connections;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip