| Tue, 17 Aug 2010 18:04:08 +0200 | wenzelm | updated for prospective Poly/ML 5.4; | changeset | files |
| Tue, 17 Aug 2010 17:57:05 +0200 | wenzelm | multi-platform build script for Poly/ML; | changeset | files |
| Tue, 17 Aug 2010 17:03:38 +0200 | wenzelm | updated keywords; | changeset | files |
| Tue, 17 Aug 2010 17:01:46 +0200 | wenzelm | updated Named_Target.init; | changeset | files |
| Tue, 17 Aug 2010 16:47:19 +0200 | wenzelm | made 9043eefe8d71 actually compile; | changeset | files |
| Tue, 17 Aug 2010 16:38:45 +0200 | wenzelm | merged | changeset | files |
| Tue, 17 Aug 2010 14:33:44 +0200 | haftmann | merged | changeset | files |
| Tue, 17 Aug 2010 14:33:39 +0200 | haftmann | formally document `code abstype` and `code abstract` attributes | changeset | files |