Sat, 19 Apr 2014 19:53:46 +0200 | Martin Geisler | obsolete: let N denote number of obsoleted changestes in a marker | changeset | files |
Sat, 19 Apr 2014 19:52:09 +0200 | Martin Geisler | obsolete: fix language and grammar in module docstring | changeset | files |