author | wenzelm |
Sun, 15 Apr 2012 14:51:15 +0200 | |
changeset 47485 | 0b4698a31e9a |
parent 47484 | e94cc23d434a |
child 47486 | 4d49f3ffe97e |
CONTRIBUTORS | file | annotate | diff | comparison | revisions |
--- a/CONTRIBUTORS Sun Apr 15 14:50:09 2012 +0200 +++ b/CONTRIBUTORS Sun Apr 15 14:51:15 2012 +0200 @@ -21,6 +21,7 @@ (Re-)Introduction of the "set" type constructor. * 2011/2012: Makarius Wenzel, Université Paris-Sud / LRI + Various refinements of local theory infrastructure. Improvements of Isabelle/Scala layer and Isabelle/jEdit Prover IDE.