| Thu, 12 Sep 2013 10:40:53 +0200 | blanchet | minor fixes | file | diff | annotate |
| Thu, 12 Sep 2013 09:59:45 +0200 | blanchet | new version of MaSh | file | diff | annotate |
| Tue, 10 Sep 2013 11:57:53 +0200 | wenzelm | more portable hash-bang; | file | diff | annotate |
| Thu, 06 Dec 2012 11:25:10 +0100 | blanchet | added weights to MaSh (by Daniel Kuehlwein) | file | diff | annotate |
| Mon, 26 Nov 2012 13:35:05 +0100 | blanchet | added file headers | file | diff | annotate |
| Mon, 26 Nov 2012 12:04:32 +0100 | blanchet | moved MaSh's Python code into Isabelle | file | diff | annotate |