| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2008-06-25 | removed src for 2.9 | aarne | |
| 2007-12-20 | Added newlines and ends of some files. This makes sed happy. | bringert | |
| 2005-10-26 | Moved Graph and Relation stuff to separate modules. Added some QuickCheck ↵ | bringert | |
| properties for Relation. Improved relation datastructure and algorithms, making FA generation much faster. | |||
