| Fri, 19 Aug 2011 13:32:27 +0200 | wenzelm | more robust use of set_exn_serial, which is based on PolyML.raiseWithLocation internally; | changeset | files |
| Fri, 19 Aug 2011 12:51:14 +0200 | wenzelm | more focused use of Multithreading.interrupted: retain interrupts within task group boundary, without loss of information; | changeset | files |
| Fri, 19 Aug 2011 12:03:44 +0200 | wenzelm | clarified Future.cond_forks: more uniform handling of exceptional situations; | changeset | files |
| Fri, 19 Aug 2011 17:05:10 +0900 | Cezary Kaliszyk | Quotient_Examples: Cset, List_Cset: Lift Inf and Sup directly. | changeset | files |
| Thu, 18 Aug 2011 22:32:19 -0700 | huffman | merged | changeset | files |
| Thu, 18 Aug 2011 22:31:52 -0700 | huffman | define complex exponential 'expi' as abbreviation for 'exp' | changeset | files |
| Thu, 18 Aug 2011 21:23:31 -0700 | huffman | remove more bounded_linear locale interpretations (cf. f0de18b62d63) | changeset | files |
| Thu, 18 Aug 2011 19:53:03 -0700 | huffman | optimize some proofs | changeset | files |