| Wed, 28 Aug 2019 23:19:43 +0200 | wenzelm | merged | changeset | files |
| Wed, 28 Aug 2019 23:01:53 +0200 | wenzelm | enable share_common_data for "isabelle dump" and its derivatives (e.g. "isabelle mmt_import"): this has the potential to reduce ML heap size considerably, after initial command definitions; | changeset | files |
| Wed, 28 Aug 2019 22:59:49 +0200 | wenzelm | support for share_common_data after define_command and before actual update: this affects string particles of command tokens; | changeset | files |
| Wed, 28 Aug 2019 10:18:50 +0200 | wenzelm | more scalable -- less ML heap requirements; | changeset | files |