| Sun, 13 Sep 2009 02:10:41 +0200 | wenzelm | explicitly export type abbreviations (as usual in SML97); | changeset | files |
| Sun, 13 Sep 2009 02:07:52 +0200 | wenzelm | wrapper for Real.fmt -- via StringCvt.realfmt; | changeset | files |
| Sun, 13 Sep 2009 02:07:06 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Sat, 12 Sep 2009 16:30:48 +0200 | wenzelm | standard headers and text sections; | changeset | files |
| Fri, 11 Sep 2009 09:53:02 +0200 | nipkow | merged | changeset | files |
| Fri, 11 Sep 2009 09:52:40 +0200 | nipkow | Made record parameter flexible to allow for extensions | changeset | files |
| Fri, 11 Sep 2009 09:05:26 +0200 | haftmann | merged | changeset | files |
| Fri, 11 Sep 2009 09:04:51 +0200 | haftmann | corrected upper/lowercase | changeset | files |