Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | gone with this | buraq | 2005-01-28 | 1 | -131/+0 |
* | namespaces | buraq | 2004-06-25 | 1 | -1/+1 |
* | *** empty log message *** | buraq | 2004-06-03 | 1 | -5/+3 |
* | *** empty log message *** | Martin Odersky | 2003-11-14 | 1 | -2/+2 |
* | fixed bugs and cleaned up code in AlgMatcher th... | buraq | 2003-10-30 | 1 | -1/+1 |
* | fixed hashing (hasing TypeTerms now using Type.... | buraq | 2003-10-28 | 1 | -3/+4 |
* | fixed hashing of patterns | buraq | 2003-09-26 | 1 | -2/+14 |
* | automata stuff for pattern matching | buraq | 2003-06-19 | 1 | -0/+120 |