| Fri, 12 Dec 2014 14:42:37 +0100 | wenzelm | merged | changeset | files |
| Fri, 12 Dec 2014 14:31:57 +0100 | wenzelm | Synchronized.value is actually synchronized (NB: underlying Unsynchronized.ref is not necessarily volatile); | changeset | files |
| Fri, 12 Dec 2014 14:30:33 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 11 Dec 2014 23:42:03 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 11 Dec 2014 23:31:30 +0100 | wenzelm | added Par_List in Scala, in accordance to ML version; | changeset | files |
| Thu, 11 Dec 2014 15:24:28 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 12 Dec 2014 10:58:40 +0100 | hoelzl | rel_pmf commutes with rel_prod | changeset | files |