2012-01-24 | urbanc | initial version of the PIP formalisation | file | diff | annotate |
2011-04-19 | urbanc | removed experimental code from Matcher | file | diff | annotate |
2011-04-19 | urbanc | implemented most suggestions from the reviewers | file | diff | annotate |
2011-02-14 | urbanc | updated | file | diff | annotate |
2011-02-14 | urbanc | added definition of DERIV and delta | file | diff | annotate |
2010-11-25 | urbanc | added paper | file | diff | annotate |
2010-10-19 | urbanc | added a file about the easy closure properties of regular sets (the difficult parts, like complement, are missing) | file | diff | annotate |
2010-10-03 | urbanc | added simple regexp matcher from Slind et al | file | diff | annotate |