| 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 |
| Thu, 24 Jun 2010 12:16:39 +0200 | wenzelm | tuned auxiliary structures; | changeset | files |