Thu, 04 Jun 2009 23:42:11 +0200 | wenzelm | example settings for Poly/ML 5.3 (experimental); | changeset | files |
Thu, 04 Jun 2009 22:52:53 +0200 | wenzelm | uniform (short) ids on both sides; | changeset | files |
Thu, 04 Jun 2009 22:08:20 +0200 | wenzelm | merged | changeset | files |