## Changelog for agum-2.3

If this renders badly as markdown, see the plain text version2010-06-21 John D. Ramsdell ramsdell@mitre.org

```
* agum.cabal (Version): Released as version 2.3.
* agum.cabal (Build-Depends): changes dependency to
base >= 3 && <5, containers
```

2009-09-17 John D. Ramsdell ramsdell@mitre.org

```
* agum.cabal (Version): Released as version 2.2.
```

2009-09-14 John D. Ramsdell ramsdell@.mitre.org

```
* src/Algebra/AbelianGroup/IntLinEq.hs: Integer solutions to
linear equation solver was placed in its own module.
```

2009-09-13 John D. Ramsdell ramsdell@mitre.org

```
* src/Algebra/AbelianGroup/UnificationMatching.hs (unify): Changed
the result to be a substitution since unification always succeeds.
```

2009-09-05 John D. Ramsdell ramsdell@mitre.org

```
* src/Algebra/AbelianGroup/UnificationMatching.hs: Added
reference to Andrew Kennedy's Ph.D. thesis as it contains a proof
of correctness of the implemented matching algorithm.
* agum.cabal (Version): Released as version 2.1.
```

2009-08-29 John D. Ramsdell ramsdell@mitre.org

```
* src/Algebra/AbelianGroup/UnificationMatching.hs (Substitution,
apply): Hid the representation of a substitution and supplied a
function for applying a substitution to a term.
* agum.cabal (Version): Released as version 2.0.
```