Sat, 17 Feb 2018 23:55:16 +0100Improve API doc of Random classes (#602)
Peter Kovacs <kpeter@inf.elte.hu> [Sat, 17 Feb 2018 23:55:16 +0100] rev 1164
Improve API doc of Random classes (#602)

Thu, 08 Oct 2015 13:48:09 +0200Platform independent Random generators (#602)
Alpar Juttner <alpar@cs.elte.hu> [Thu, 08 Oct 2015 13:48:09 +0200] rev 1163
Platform independent Random generators (#602)