Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2011-04-19 | Update Maude to version 2.6 | asau | 1 | -1/+2 |
2010-05-19 | Update to Maude 2.4 | asau | 1 | -3/+1 |
2009-06-14 | Remove @dirrm entries from PLISTs | joerg | 1 | -2/+1 |
2007-12-01 | Maybe it's better to keep the directory for the *.maude files as it was | rillig | 1 | -10/+10 |
2007-12-01 | Updated maude to 2.3. | rillig | 1 | -4/+10 |
2005-10-14 | Update lang/maude to 2.1.1 | tonio | 1 | -2/+1 |
2003-12-31 | Update lang/maude to version 2.0.1. | kristerw | 1 | -28/+5 |
2001-11-01 | Move pkg/ files into package's toplevel directory | zuntum | 1 | -0/+29 |