| Fri, 01 Nov 2019 19:40:55 +0100 | wenzelm | updated to polyml-5.8.1-20191101 test version; | changeset | files |
| Fri, 01 Nov 2019 18:43:37 +0100 | wenzelm | merged | changeset | files |
| Fri, 01 Nov 2019 18:41:52 +0100 | wenzelm | more operations; | changeset | files |
| Fri, 01 Nov 2019 18:19:32 +0100 | wenzelm | proper export of unnamed proof boxes for unnamed toplevel declarations, e.g. rulify/defn rules in theory IFOL and HOL; | changeset | files |
| Fri, 01 Nov 2019 18:08:46 +0100 | wenzelm | clarified signature (again); | changeset | files |
| 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 |