isabelle: Changelog

wenzelm [Fri, 16 Jul 2021 12:40:39 +0200] rev 74013

clarified directory;

wenzelm [Fri, 16 Jul 2021 12:34:47 +0200] rev 74012

clarified names;

wenzelm [Fri, 16 Jul 2021 12:11:13 +0200] rev 74011

clarified component setup for old graph browser;

wenzelm [Fri, 16 Jul 2021 11:36:24 +0200] rev 74010

redundant: *.class and *.jar are already ignored;

wenzelm [Fri, 16 Jul 2021 11:32:32 +0200] rev 74009

proper cat_lines: avoid last "\n";

paulson [Fri, 16 Jul 2021 20:13:12 +0100] rev 74008

merged

paulson <lp15@cam.ac.uk> [Fri, 16 Jul 2021 14:43:25 +0100] rev 74007

A few new lemmas and simplifications

blanchet [Fri, 16 Jul 2021 15:42:52 +0200] rev 74006

removed support for experimental Pirate prover

blanchet [Fri, 16 Jul 2021 15:27:55 +0200] rev 74005

get rid of remote_vampire since it's hard, if possible at all, to follow Vampire's online options

wenzelm [Thu, 15 Jul 2021 22:51:49 +0200] rev 74004

merged

isabelle