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 |