CONTRIBUTORS

--- a/CONTRIBUTORS	Sat Sep 22 20:38:42 2012 +0200
+++ b/CONTRIBUTORS	Sat Sep 22 21:23:16 2012 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* 2012: Makarius Wenzel, Université Paris-Sud / LRI
+  Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
+
 * September 2012: Florian Haftmann, TUM
   Lattice instances for type option.