| Sun, 27 Oct 2019 16:32:01 +0100 | immler | decision procedure for metric spaces, implemented by Maximilian Schäffeler | changeset | files |
| Sun, 27 Oct 2019 16:47:27 +0100 | nipkow | NEWS | changeset | files |
| 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 |