Fri, 20 Jun 2008 11:09:30 +0100Merge
Alpar Juttner <alpar@cs.elte.hu> [Fri, 20 Jun 2008 11:09:30 +0100] rev 183
Merge

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