CONTRIBUTORS
changeset 49532 6f7cc8e42716
parent 49510 ba50d204095e
child 49770 cf6a78acf445
     1.1 --- a/CONTRIBUTORS	Sat Sep 22 20:38:42 2012 +0200
     1.2 +++ b/CONTRIBUTORS	Sat Sep 22 21:23:16 2012 +0200
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* 2012: Makarius Wenzel, Université Paris-Sud / LRI
     1.8 +  Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
     1.9 +
    1.10  * September 2012: Florian Haftmann, TUM
    1.11    Lattice instances for type option.
    1.12