| Sun, 27 Oct 2019 14:54:07 +0100 | nipkow | renamed because of duplicateion to avoid very long qualified names | changeset | files |
| Sat, 26 Oct 2019 19:39:16 +0200 | wenzelm | proper order of variables, independently of varify/unvarify state -- relevant for export of locale conclusions; | changeset | files |
| Fri, 25 Oct 2019 19:08:36 +0200 | wenzelm | merged | changeset | files |
| Fri, 25 Oct 2019 19:00:36 +0200 | wenzelm | clarified session_graph_display: restrict sessions to actually required theories; | changeset | files |
| Fri, 25 Oct 2019 16:56:47 +0200 | blanchet | removed dummy ATP | changeset | files |
| Fri, 25 Oct 2019 16:28:04 +0200 | blanchet | compile | changeset | files |
| Fri, 25 Oct 2019 16:27:27 +0200 | blanchet | tuning | changeset | files |
| Fri, 25 Oct 2019 16:26:56 +0200 | blanchet | invoke remote Vampire with higher-order (THF) syntax | changeset | files |