Sat, 24 May 2008 23:20:49 +0200 | Peter Kovacs | Using \tparam commands + removing \author commands (ticket #29, #39) | changeset | files |
Sat, 17 May 2008 06:30:02 +0100 | Alpar Juttner | More flexible header names in .lgf + largely improved doc | changeset | files |