| Fri, 16 Jul 2021 12:59:10 +0200 |
wenzelm |
tuned --- fewer warnings;
|
changeset |
files
|
| Fri, 16 Jul 2021 12:55:02 +0200 |
wenzelm |
clarified names;
|
changeset |
files
|
| Fri, 16 Jul 2021 12:45:37 +0200 |
wenzelm |
tuned --- fewer warnings;
|
changeset |
files
|
| Fri, 16 Jul 2021 12:40:39 +0200 |
wenzelm |
clarified directory;
|
changeset |
files
|
| Fri, 16 Jul 2021 12:34:47 +0200 |
wenzelm |
clarified names;
|
changeset |
files
|
| Fri, 16 Jul 2021 12:11:13 +0200 |
wenzelm |
clarified component setup for old graph browser;
|
changeset |
files
|
| 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
|