2008-05-17 |
More flexible header names in .lgf + largely improved doc
|
file | diff | annotate |
2008-04-28 |
Merge
|
file | diff | annotate |
2008-04-22 |
Convert the EPS files to PNG when generating the documentation
|
file | diff | annotate |
2008-04-22 |
Makefile cleanup (see ticket #87)
|
file | diff | annotate |
2008-01-23 |
Reworked documentation generation and installation.
|
file | diff | annotate |
2008-01-17 |
'update-external-tags' make target added
|
file | diff | annotate |
2007-12-18 |
More fixes that make autotools working for the empty repo
|
file | diff | annotate |
2007-12-18 |
Autotools based build system.
|
file | diff | annotate |