| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-04-15 | NB: Commit will not build with Coq 8.6; Updated to 1.6 | William J. Bowman | |
| I'm pushing this update even though it will not build with the version of Coq available in the repositories. autosubst is research software and is slow to update | |||
| 2015-06-08 | Updated contact info | William J. Bowman | |
| 2015-06-08 | Initial import | William J. Bowman | |