| File | Date | Author | Commit |
|---|---|---|---|
| MANIFEST.MF | 2014-06-16 |
Jurgen J. Vinju
|
[88e13a] Merge branch 'dev' of https://opensourceproject... |
| RASCAL.MF | 2014-03-27 |
a.shahi@cwi.nl
|
[786e0d] Changed manager according to new design and to ... |