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