Sun, 13 Jul 2008 19:51:02 +0100 | Apply unify-sources.sh to the source tree | file | diff | annotate |
Thu, 10 Jul 2008 15:02:35 +0200 | More docs for undirected LGF IO | file | diff | annotate |
Sat, 05 Jul 2008 00:14:27 +0200 | Doc improvements in LGF related files | file | diff | annotate |
Tue, 27 May 2008 16:01:20 +0200 | Section reader for DigraphReader | file | diff | annotate |
Sat, 17 May 2008 06:30:02 +0100 | More flexible header names in .lgf + largely improved doc | file | diff | annotate |