CONTRIBUTORS
changeset 44882 3d853767e5f3
parent 44820 7798deb6f8fa
child 44894 1c7991210f62
child 44897 787983a08bfb
     1.1 --- a/CONTRIBUTORS	Sun Sep 11 20:19:20 2011 +0200
     1.2 +++ b/CONTRIBUTORS	Sun Sep 11 21:34:23 2011 +0200
     1.3 @@ -12,6 +12,10 @@
     1.4  * August 2011: Florian Haftmann, Johannes Hölzl and Lars Noschinski, TUM
     1.5    Refined theory on complete lattices.
     1.6  
     1.7 +* 2011: Makarius Wenzel, Université Paris-Sud / LRI
     1.8 +  Various building blocks for Isabelle/Scala layer and Isabelle/jEdit
     1.9 +  Prover IDE.
    1.10 +
    1.11  
    1.12  Contributions to Isabelle2011
    1.13  -----------------------------