| Age | Commit message (Expand) | Author |
|---|---|---|
| 2005-12-22 | Some performance improvements in the FA generation. | bringert |
| 2005-11-10 | Prepared for generation of finite automata in C. | bringert |
| 2005-10-26 | Moved Graph and Relation stuff to separate modules. Added some QuickCheck pro... | bringert |
