| Sat, 06 Nov 2021 18:16:54 +0100 | wenzelm | back to non-strict Export_Theory.read_theory (without warning): theories could have been skipped due to "condition"; | changeset | files |
| Sat, 06 Nov 2021 15:25:20 +0100 | wenzelm | use all entity kinds from theory export, e.g. "method", "attribute"; | changeset | files |
| Sat, 06 Nov 2021 11:25:03 +0100 | wenzelm | clarified signature; | changeset | files |