Wed, 18 Jun 2008 13:52:23 +0100*Maps() -> *MapNames() in LgfContents
Alpar Juttner <alpar@cs.elte.hu> [Wed, 18 Jun 2008 13:52:23 +0100] rev 182
*Maps() -> *MapNames() in LgfContents

Wed, 18 Jun 2008 13:07:18 +0100Doc improvements in LgfContents
Alpar Juttner <alpar@cs.elte.hu> [Wed, 18 Jun 2008 13:07:18 +0100] rev 181
Doc improvements in LgfContents

Wed, 18 Jun 2008 12:59:07 +0100Remove LgfContents.is*()
Alpar Juttner <alpar@cs.elte.hu> [Wed, 18 Jun 2008 12:59:07 +0100] rev 180
Remove LgfContents.is*()

Wed, 18 Jun 2008 12:39:20 +0100Content -> contents
Alpar Juttner <alpar@cs.elte.hu> [Wed, 18 Jun 2008 12:39:20 +0100] rev 179
Content -> contents

Tue, 15 Apr 2008 14:12:10 +0200Doc improvements in random.h
Alpar Juttner <alpar@cs.elte.hu> [Tue, 15 Apr 2008 14:12:10 +0200] rev 178
Doc improvements in random.h

Thu, 19 Jun 2008 10:59:22 +0200Seeding from file source or from pid and time (ticket #19)
Balazs Dezso <deba@inf.elte.hu> [Thu, 19 Jun 2008 10:59:22 +0200] rev 177
Seeding from file source or from pid and time (ticket #19)

Tue, 17 Jun 2008 12:47:15 +0100Merge
Alpar Juttner <alpar@cs.elte.hu> [Tue, 17 Jun 2008 12:47:15 +0100] rev 176
Merge