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 |