Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | new version, marked 3.2 stable | George Shapovalov | 2004-01-01 | 5 | -6/+45 |
* | added metadata.xml | Stephen Diener | 2003-08-04 | 2 | -1/+7 |
* | removing lockfile | Robin H. Johnson | 2003-07-03 | 2 | -2/+0 |
* | Add frozen lock support | Robin H. Johnson | 2003-07-03 | 2 | -0/+2 |
* | new package: Automated Deduction System | George Shapovalov | 2003-05-16 | 4 | -2/+53 |
* | new package: Automated Deduction System | George Shapovalov | 2003-05-16 | 1 | -0/+3 |