| Fri, 18 Jan 2013 17:51:50 +0100 | wenzelm | more systematic task statistics; | changeset | files |
| Fri, 18 Jan 2013 16:20:09 +0100 | wenzelm | added "tasks_proof" statistics, via slighly odd global reference Future.forked_proofs (NB: Future.report_status is intertwined with scheduler thread); | changeset | files |
| Fri, 18 Jan 2013 20:01:59 +0100 | hoelzl | generalized diameter from real_normed_vector to metric_space | changeset | files |
| Fri, 18 Jan 2013 20:01:41 +0100 | hoelzl | tuned proof | changeset | files |
| Fri, 18 Jan 2013 20:00:59 +0100 | hoelzl | tune prove compact_eq_totally_bounded | changeset | files |
| Thu, 17 Jan 2013 15:28:53 -0800 | huffman | generalized theorem edelstein_fix to class metric_space | changeset | files |
| Fri, 18 Jan 2013 16:06:45 +0100 | blanchet | tuning | changeset | files |
| Fri, 18 Jan 2013 14:33:16 +0100 | blanchet | pass correct index to "Sign.typ_unify" -- this is important to avoid what appears to be an infinite loop in the unifier | changeset | files |