Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | code cleanup + fixed matching of empty sequence... | buraq | 2003-08-27 | 1 | -0/+2 |
* | refactoring: removed class FiniteAutom. | buraq | 2003-07-29 | 1 | -2/+2 |
* | allocation of variables in binding | buraq | 2003-07-09 | 1 | -3/+3 |
* | matching | buraq | 2003-07-08 | 1 | -7/+7 |
* | *** empty log message *** | buraq | 2003-07-05 | 1 | -13/+12 |
* | hooking up pattern matcher with sequence matcher | buraq | 2003-07-04 | 1 | -0/+2 |
* | automata stuff for pattern matching | buraq | 2003-06-19 | 1 | -0/+642 |