| Mon, 31 Mar 2014 10:28:08 +0200 | wenzelm | support bulk messages consisting of small string segments, which are more healthy to the Poly/ML RTS and might prevent spurious GC crashes such as MTGCProcessMarkPointers::ScanAddressesInObject; | changeset | files |
| Mon, 31 Mar 2014 17:17:37 +0200 | hoelzl | tuned proofs | changeset | files |
| Mon, 31 Mar 2014 12:32:15 +0200 | hoelzl | add complex_of_real coercion | changeset | files |
| Mon, 31 Mar 2014 12:16:39 +0200 | hoelzl | add limits of power at top and bot | changeset | files |