Sat, 24 May 2008 23:20:49 +0200Using \tparam commands + removing \author commands (ticket #29, #39)
Peter Kovacs <kpeter@inf.elte.hu> [Sat, 24 May 2008 23:20:49 +0200] rev 157
Using \tparam commands + removing \author commands (ticket #29, #39)

Sat, 17 May 2008 06:30:02 +0100More flexible header names in .lgf + largely improved doc
Alpar Juttner <alpar@cs.elte.hu> [Sat, 17 May 2008 06:30:02 +0100] rev 156
More flexible header names in .lgf + largely improved doc