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 |