| 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 |
| Thu, 24 Jun 2010 11:28:34 +0200 | wenzelm | Net.encode_type; | changeset | files |
| Thu, 24 Jun 2010 11:08:21 +0200 | wenzelm | more accurate dependencies; | changeset | files |
| Thu, 24 Jun 2010 09:04:50 +0200 | haftmann | made smlnj happy | changeset | files |