CONTRIBUTORS
changeset 44894 1c7991210f62
parent 44882 3d853767e5f3
child 44900 1a4ea8c5399a
     1.1 --- a/CONTRIBUTORS	Mon Sep 12 10:49:37 2011 +0200
     1.2 +++ b/CONTRIBUTORS	Mon Sep 12 11:05:32 2011 +0200
     1.3 @@ -16,6 +16,11 @@
     1.4    Various building blocks for Isabelle/Scala layer and Isabelle/jEdit
     1.5    Prover IDE.
     1.6  
     1.7 +* 2011: Jasmin Blanchette, TUM
     1.8 +  Various improvements to Sledgehammer, notably: use of sound translations,
     1.9 +  support for more provers (Waldmeister, LEO-II, Satallax). Further development
    1.10 +  of Nitpick and "try".
    1.11 +
    1.12  
    1.13  Contributions to Isabelle2011
    1.14  -----------------------------