Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | gone with this | buraq | 2005-01-28 | 1 | -518/+0 |
| | |||||
* | translated most to scala | buraq | 2005-01-21 | 1 | -12/+0 |
| | |||||
* | - Removed some obsolete references class TextTr... | paltherr | 2004-12-06 | 1 | -2/+0 |
| | | | | | | - Removed some obsolete references class TextTreePrinter and package printer | ||||
* | cleanup | buraq | 2004-01-08 | 1 | -0/+13 |
| | |||||
* | cleanup | buraq | 2003-10-28 | 1 | -10/+7 |
| | |||||
* | refactoring: removed class FiniteAutom. | buraq | 2003-07-29 | 1 | -15/+128 |
| | | | | | | | | | different types, so many casts were needed. In fact, FiniteAutom is not used anywhere. now fixed. fields are migrated to subclasses DetWordAutom and NondetWordAutom, with more specific types | ||||
* | automata stuff for pattern matching | buraq | 2003-06-19 | 1 | -0/+409 |