| 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
|
| Thu, 15 Jul 2021 22:51:49 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 15 Jul 2021 22:49:24 +0200 |
wenzelm |
NEWS;
|
changeset |
files
|
| Thu, 15 Jul 2021 22:28:26 +0200 |
wenzelm |
proper example;
|
changeset |
files
|
| Thu, 15 Jul 2021 22:14:11 +0200 |
wenzelm |
more tests;
|
changeset |
files
|
| Thu, 15 Jul 2021 22:09:45 +0200 |
wenzelm |
more robust: component might be absent;
|
changeset |
files
|
| Thu, 15 Jul 2021 22:07:56 +0200 |
wenzelm |
clarified global state: allow to deactivate main plugin;
|
changeset |
files
|
| Thu, 15 Jul 2021 21:35:31 +0200 |
wenzelm |
more robust (again): allow to deactivate main plugin;
|
changeset |
files
|