| Wed, 14 May 2014 13:10:57 +0200 | wenzelm | restrict default docking layout to bare minimum -- NB: Simplifier Trace still needs fine-tuning to show up on demand; | changeset | files |
| Wed, 14 May 2014 13:07:47 +0200 | wenzelm | updated isatest; | changeset | files |
| Wed, 14 May 2014 12:24:38 +0200 | wenzelm | updated to polyml-5.5.2; | changeset | files |
| Wed, 14 May 2014 12:15:07 +0200 | wenzelm | practically obsolete: plain "poly" should work, except for Linux without libgmp installed; | changeset | files |
| Wed, 14 May 2014 12:00:18 +0200 | wenzelm | updated to polyml-5.5.2; | changeset | files |
| Wed, 14 May 2014 11:37:48 +0200 | desharna | document 'set_empty' | changeset | files |
| Mon, 12 May 2014 17:42:54 +0200 | desharna | generate 'set_empty' theorem for BNFs | changeset | files |
| Thu, 08 May 2014 12:54:33 +0200 | desharna | document 'map_id0' | changeset | files |