Mon, 07 Jan 2008 17:07:40 +0000 alpar Minor doc fix
Mon, 07 Jan 2008 13:09:48 +0000 alpar Happy New Year to LEMON (+ better update-copyright-header script)
Fri, 04 Jan 2008 00:47:08 +0000 kpeter Improved rename script to avoid "undirected digraph".
Mon, 31 Dec 2007 19:21:21 +0000 ladanyi Include functional because of std::less.