| Wed, 28 Apr 2010 13:30:17 +0200 | haftmann | codified comment | changeset | files |
| Wed, 28 Apr 2010 13:29:57 +0200 | haftmann | merged | changeset | files |
| Wed, 28 Apr 2010 13:29:39 +0200 | haftmann | empty class specifcations observe default sort | changeset | files |
| Wed, 28 Apr 2010 16:56:51 +0200 | wenzelm | document some known problems with Mac OS; | changeset | files |
| Wed, 28 Apr 2010 16:12:21 +0200 | wenzelm | removed redundant/ignored sort constraint; | changeset | files |
| Wed, 28 Apr 2010 16:11:13 +0200 | wenzelm | tuned user-level type abbrevs: explicit warning concerning ignored sort constraints -- sorts never affect formation of types and type abbrevs strip sorts internally; | changeset | files |
| Wed, 28 Apr 2010 13:32:00 +0200 | wenzelm | made SML/NJ happy; | changeset | files |