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 |