summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* new version, marked 3.2 stableGeorge Shapovalov2004-01-015-6/+45
* added metadata.xmlStephen Diener2003-08-042-1/+7
* removing lockfileRobin H. Johnson2003-07-032-2/+0
* Add frozen lock supportRobin H. Johnson2003-07-032-0/+2
* new package: Automated Deduction SystemGeorge Shapovalov2003-05-163-2/+34
* new package: Automated Deduction SystemGeorge Shapovalov2003-05-162-0/+22