| Fri, 15 Mar 2013 10:49:28 +0100 | wenzelm | updated to scala-2.10.1; | changeset | files |
| Fri, 15 Mar 2013 10:08:23 +0100 | traytel | extended stream library (sdrop_while) | changeset | files |
| Thu, 14 Mar 2013 14:25:55 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 14 Mar 2013 14:14:58 +0100 | wenzelm | more robust Par_Exn.make, especially relevant for SML/NJ trying to use Par_Exn.release_all; | changeset | files |
| Thu, 14 Mar 2013 13:57:44 +0100 | wenzelm | proper use of "member", without embarking on delicate questions about SML equality types; | changeset | files |
| Thu, 14 Mar 2013 13:52:22 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Thu, 14 Mar 2013 10:51:28 +0100 | nipkow | tuned | changeset | files |