Age | Commit message (Expand) | Author |
---|---|---|
2011-12-15 | Partial fix to bug 295. | Tim King |
2011-12-12 | * merging some uf stuff from incremental_work branch that somehow nobody merg... | Dejan Jovanović |
2011-11-29 | Merging the branch branches/arithmetic/shared-terms into trunk. Arithmetic no... | Tim King |