| Mon, 14 Jan 2013 14:52:52 +0100 | wenzelm | avoid odd copies of local configuration or backup files; | changeset | files |
| Mon, 14 Jan 2013 14:46:22 +0100 | wenzelm | more precise relevant_range to exploit overview_limit better; | changeset | files |
| Mon, 14 Jan 2013 13:59:43 +0100 | wenzelm | restrict "bad" markup to command keyword, notably excluding subsequent comments; | changeset | files |
| Mon, 14 Jan 2013 18:30:36 +0100 | hoelzl | differentiate (cover) compactness and sequential compactness | changeset | files |
| Mon, 14 Jan 2013 17:53:37 +0100 | hoelzl | introduce first_countable_topology typeclass | changeset | files |
| Mon, 14 Jan 2013 17:30:36 +0100 | hoelzl | move prod instantiation of second_countable_topology to its definition | changeset | files |
| Mon, 14 Jan 2013 17:29:04 +0100 | hoelzl | renamed countable_basis_space to second_countable_topology | changeset | files |