2017-03-11 | Christian Urban | updated | file | diff | annotate |
2017-03-11 | Christian Urban | updated | file | diff | annotate |
2017-03-05 | Christian Urban | updated the re-ext-scala file | file | diff | annotate |
2017-03-04 | Christian Urban | updated | file | diff | annotate |
2016-05-05 | Christian Urban |
added an extended version of re-simp | file | diff | annotate |