| 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 |
| Mon, 19 Nov 2012 16:14:18 +0100 | wenzelm | more refs; | changeset | files |
| Sun, 18 Nov 2012 19:01:30 +0100 | wenzelm | isabelle build no longer supports document_dump/document_dump_mode (no INCOMPATIBILITY, since it was never in official release); | changeset | files |
| Sun, 18 Nov 2012 16:31:41 +0100 | wenzelm | proper jvmpath for windows; | changeset | files |
| Sun, 18 Nov 2012 16:04:13 +0100 | wenzelm | more generous tracing_limit, with explicit system option; | changeset | files |