Balazs Dezso <deba@inf.elte.hu> [Tue, 15 Jul 2008 13:15:39 +0200] rev 220
Reorganize header files (Ticket #97)
In addition on some places the DefaultMap<G, K, V> is replaced with
ItemSetTraits<G, K>::template Map<V>::Type, to decrease the dependencies
of different tools. It is obviously better solution.
Alpar Juttner <alpar@cs.elte.hu> [Tue, 15 Jul 2008 18:43:41 +0100] rev 219
Turn off treeview in the doc.
make now recognises if Doxygen.in has updated. (Thanks to Akos)