Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
CONTRIBUTORS
changeset 57252 19b7ace1c5da
parent 57235 b0b9a10e4bf4
child 57254 d3d91422f408 
--- a/CONTRIBUTORS	Fri Jun 13 07:05:01 2014 +0200
+++ b/CONTRIBUTORS	Fri Jun 13 14:08:20 2014 +0200
@@ -12,7 +12,7 @@
   Waldmeister, etc.).
 
 * June 2014: Sudeep Kanav, TUM, and Johannes Hölzl, TUM
-  Various properties of Erlang and exponentially distributed random variables.
+  Various properties of exponentially, Erlang, and normal distributed random variables.
 
 * May 2014: Cezary Kaliszyk, University of Innsbruck, and Jasmin Blanchette, TUM
   SML-based engines for MaSh.
isabelle