]>
2005-10-03 | Luca Padovani | incomplete snapshot .... | blob | commitdiff | raw |
2005-10-02 | Luca Padovani | * well-formedness constraints | blob | commitdiff | raw | diff to current |
2005-10-02 | Luca Padovani | * added well-formedness rules for level 2 patterns | blob | commitdiff | raw | diff to current |
2005-10-01 | Luca Padovani | * added pattern matching of level 2 terms | blob | commitdiff | raw | diff to current |
2005-09-29 | Luca Padovani | * added concrete syntax for level 2 | blob | commitdiff | raw | diff to current |
2005-09-29 | Luca Padovani | * snapshot | blob | commitdiff | raw | diff to current |
2005-09-29 | Luca Padovani | + well-formedness of level 1 patterns | blob | commitdiff | raw | diff to current |
2005-09-28 | Luca Padovani | * first version of the specification | blob | commitdiff | raw | diff to current |