more CONTRIBUTORS;
authorwenzelm
Sun Sep 11 21:34:23 2011 +0200 (2011-09-11)
changeset 448823d853767e5f3
parent 44881 ca2f585d1ebe
child 44886 6ca299d29bdd
more CONTRIBUTORS;
CONTRIBUTORS
     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  -----------------------------