| Mon, 17 Dec 2012 22:06:28 +0100 | blanchet | tuned order to help debugging | changeset | files |
| Mon, 17 Dec 2012 18:23:08 +0100 | nipkow | added table of infix operators | changeset | files |
| Mon, 17 Dec 2012 17:19:21 +0100 | nipkow | made element and subset relations non-associative (just like all orderings) | changeset | files |
| Mon, 17 Dec 2012 15:18:39 +0100 | wenzelm | merged | changeset | files |
| Mon, 17 Dec 2012 15:05:22 +0100 | wenzelm | more parallel find_unused_assms; | changeset | files |
| Mon, 17 Dec 2012 15:17:32 +0100 | traytel | useful commutative diagram for while_option | changeset | files |
| Mon, 17 Dec 2012 14:51:34 +0100 | wenzelm | more hints on technical issues due to shared-disk access of central Mercurial repository; | changeset | files |