Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | new version, marked 3.2 stable | 2004-01-01 | 5 | -6/+45 | |
| | |||||
* | added metadata.xml | 2003-08-04 | 2 | -1/+7 | |
| | |||||
* | removing lockfile | 2003-07-03 | 2 | -2/+0 | |
| | |||||
* | Add frozen lock support | 2003-07-03 | 2 | -0/+2 | |
| | |||||
* | new package: Automated Deduction System | 2003-05-16 | 3 | -2/+34 | |
| | |||||
* | new package: Automated Deduction System | 2003-05-16 | 2 | -0/+22 | |