Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove autogenerated files from version control | Adam Chlipala | 2013-11-21 |
* | New release | Adam Chlipala | 2012-09-25 |
* | New release | Adam Chlipala | 2012-08-07 |
* | New release | Adam Chlipala | 2012-03-10 |
* | Get rid of those pesky symlinks for autotools files | Adam Chlipala | 2010-01-28 |
* | First attempt to switch to Automake, to get shared libraries built in OSX | Adam Chlipala | 2010-01-28 |