updated for release;
authorwenzelm
Mon, 31 Dec 2012 13:16:51 +0100
changeset 50648 3fa343c5bc0a
parent 50647 58312dae25a5
child 50649 dec036b63412
updated for release;
CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Dec 31 13:08:49 2012 +0100
+++ b/CONTRIBUTORS	Mon Dec 31 13:16:51 2012 +0100
@@ -9,13 +9,13 @@
 * 2012: Makarius Wenzel, Universit├ę Paris-Sud / LRI
   Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
 
-* Fall 2012: Daniel Kuehlwein, ICIS, Radboud University Nijmegen
+* Fall 2012: Daniel K├╝hlwein, ICIS, Radboud University Nijmegen
   Jasmin Blanchette, TUM
   Implemented Machine Learning for Sledgehammer (MaSh).
 
 * Fall 2012: Steffen Smolka, TUM
-  Various improvements to Sledgehammer's Isar proof generator, including
-  a smart type annotation algorithm and proof shrinking.
+  Various improvements to Sledgehammer's Isar proof generator,
+  including a smart type annotation algorithm and proof shrinking.
 
 * December 2012: Alessandro Coglio, Kestrel
   Contributions to HOL's Lattice library
@@ -54,6 +54,10 @@
 * May 2012: Andreas Lochbihler, KIT
   Theory of almost everywhere constant functions.
 
+* 2010-2012: Markus Kaiser and Lukas Bulwahn, TUM
+  Graphview in Scala/Swing.
+
+
 Contributions to Isabelle2012
 -----------------------------