Wed, 17 May 2017 14:58:48 +0200 | wenzelm | include full ML statistics: max heap size; | changeset | files |
Wed, 17 May 2017 13:52:46 +0200 | wenzelm | tuned; | changeset | files |
Wed, 17 May 2017 13:50:30 +0200 | wenzelm | eliminated unused operations; | changeset | files |
Wed, 17 May 2017 13:47:19 +0200 | wenzelm | tuned signature; | changeset | files |
Wed, 17 May 2017 11:53:16 +0200 | wenzelm | clarified universal table: include ml_statistics; | changeset | files |
Wed, 17 May 2017 11:12:19 +0200 | wenzelm | proper order for entry list cons; | changeset | files |
Wed, 17 May 2017 10:49:19 +0200 | wenzelm | proper check (amending ad35427dbe88); | changeset | files |