| Fri, 01 Nov 2019 17:53:27 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 01 Nov 2019 16:36:17 +0100 | wenzelm | make double-sure that internal proof boxes are exported, e.g. in Pure; | changeset | files |
| Fri, 01 Nov 2019 15:47:31 +0100 | wenzelm | avoid redundant proof boxes for application sessions; | changeset | files |