| Thu, 09 Oct 2008 08:47:26 +0200 | haftmann | established canonical argument order | changeset | files |
| Thu, 09 Oct 2008 08:47:25 +0200 | haftmann | made SMLNJ happy | changeset | files |
| Wed, 08 Oct 2008 20:37:44 +0200 | wenzelm | less tracing; | changeset | files |
| Wed, 08 Oct 2008 20:21:35 +0200 | wenzelm | Future.joint_results is already uninterruptible; | changeset | files |
| Wed, 08 Oct 2008 20:21:34 +0200 | wenzelm | more careful handling of group interrupts; | changeset | files |
| Wed, 08 Oct 2008 19:32:20 +0200 | wenzelm | use polyml-cvs, which fixes a serious deadlock problem of Poly/ML runtime vs. GC; | changeset | files |
| Wed, 08 Oct 2008 19:30:15 +0200 | wenzelm | added HOL-Main; | changeset | files |