| Fri, 16 Jul 2021 11:36:24 +0200 | wenzelm | redundant: *.class and *.jar are already ignored; | changeset | files |
| Fri, 16 Jul 2021 11:32:32 +0200 | wenzelm | proper cat_lines: avoid last "\n"; | changeset | files |
| Fri, 16 Jul 2021 20:13:12 +0100 | paulson | merged | changeset | files |
| Fri, 16 Jul 2021 14:43:25 +0100 | paulson | A few new lemmas and simplifications | changeset | files |
| Fri, 16 Jul 2021 15:42:52 +0200 | blanchet | removed support for experimental Pirate prover | changeset | files |
| Fri, 16 Jul 2021 15:27:55 +0200 | blanchet | get rid of remote_vampire since it's hard, if possible at all, to follow Vampire's online options | changeset | files |
| Thu, 15 Jul 2021 22:51:49 +0200 | wenzelm | merged | changeset | files |