| Thu, 24 Jun 2010 17:01:52 +0200 | wenzelm | merged | changeset | files |
| Thu, 24 Jun 2010 12:33:51 +0100 | Christian Urban | export of proper information in the ML-interface of the quotient package | changeset | files |
| Thu, 24 Jun 2010 14:31:46 +0200 | wenzelm | treat Pretty.T as strictly abstract type; | changeset | files |
| Thu, 24 Jun 2010 14:31:01 +0200 | wenzelm | slightly more standard data merge: Symtax.merge (K true) avoids equality on abstract type Pretty.T and gracefully accepts overriding, Symtab.join prefers first entry as usual; | changeset | files |
| Thu, 24 Jun 2010 14:19:08 +0200 | wenzelm | avoid equality on abstract type Pretty.T; | changeset | files |
| Thu, 24 Jun 2010 13:31:26 +0200 | wenzelm | notes on packaging; | changeset | files |
| Thu, 24 Jun 2010 12:24:35 +0200 | wenzelm | misc tuning; | changeset | files |