| Tue, 20 Nov 2012 13:27:24 +0100 | wenzelm | global default for session timeout; | changeset | files |
| Mon, 19 Nov 2012 22:34:17 +0100 | wenzelm | alternative completion for outer syntax keywords; | changeset | files |
| Mon, 19 Nov 2012 20:47:13 +0100 | wenzelm | init options on startup as well; | changeset | files |
| Mon, 19 Nov 2012 20:23:47 +0100 | wenzelm | theorem status about oracles/futures is no longer printed by default; | changeset | files |
| Mon, 19 Nov 2012 18:01:48 +0100 | hoelzl | tuned: use induction rule sigma_sets_induct_disjoint | changeset | files |
| Mon, 19 Nov 2012 16:09:11 +0100 | hoelzl | tuned FinMap | changeset | files |
| Mon, 19 Nov 2012 12:29:02 +0100 | hoelzl | merge extensional dependent function space from FuncSet with the one in Finite_Product_Measure | changeset | files |