| Mon, 14 Jan 2013 14:53:54 +0100 | wenzelm | clarified paths: init relatively to cygwin root; | changeset | files |
| 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 |