Wed, 11 Jun 2014 16:02:10 +0200 | steckerm | tuned whitespaces | file | diff | annotate |
Wed, 11 Jun 2014 15:29:23 +0200 | blanchet | moved new highly experimental Waldmeister-specific code (authored by Albert Steckermeier) into Isabelle | file | diff | annotate |