CONTRIBUTORS
changeset 50648 3fa343c5bc0a
parent 50573 765c22baa1c9
child 50991 b3c6c9ef11b8
     1.1 --- a/CONTRIBUTORS	Mon Dec 31 13:08:49 2012 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Dec 31 13:16:51 2012 +0100
     1.3 @@ -9,13 +9,13 @@
     1.4  * 2012: Makarius Wenzel, Universit├ę Paris-Sud / LRI
     1.5    Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
     1.6  
     1.7 -* Fall 2012: Daniel Kuehlwein, ICIS, Radboud University Nijmegen
     1.8 +* Fall 2012: Daniel K├╝hlwein, ICIS, Radboud University Nijmegen
     1.9    Jasmin Blanchette, TUM
    1.10    Implemented Machine Learning for Sledgehammer (MaSh).
    1.11  
    1.12  * Fall 2012: Steffen Smolka, TUM
    1.13 -  Various improvements to Sledgehammer's Isar proof generator, including
    1.14 -  a smart type annotation algorithm and proof shrinking.
    1.15 +  Various improvements to Sledgehammer's Isar proof generator,
    1.16 +  including a smart type annotation algorithm and proof shrinking.
    1.17  
    1.18  * December 2012: Alessandro Coglio, Kestrel
    1.19    Contributions to HOL's Lattice library
    1.20 @@ -54,6 +54,10 @@
    1.21  * May 2012: Andreas Lochbihler, KIT
    1.22    Theory of almost everywhere constant functions.
    1.23  
    1.24 +* 2010-2012: Markus Kaiser and Lukas Bulwahn, TUM
    1.25 +  Graphview in Scala/Swing.
    1.26 +
    1.27 +
    1.28  Contributions to Isabelle2012
    1.29  -----------------------------
    1.30