| Mon, 10 Dec 2012 13:33:06 +0100 | blanchet | changed capitalization of MeSh filter | file | diff | annotate |
| Mon, 26 Nov 2012 12:13:37 +0100 | blanchet | updated MaSh doc | file | diff | annotate |
| Tue, 06 Nov 2012 15:15:33 +0100 | blanchet | renamed Sledgehammer option | file | diff | annotate |
| Thu, 18 Oct 2012 15:10:49 +0200 | blanchet | updated docs | file | diff | annotate |
| Fri, 14 Sep 2012 12:09:27 +0200 | blanchet | merged two commands | file | diff | annotate |
| Tue, 28 Aug 2012 18:57:32 +0200 | wenzelm | renamed doc-src to src/Doc; | file | diff | annotate | base |