Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Generated pretty-printed HTML for a simple tutorial source file | Adam Chlipala | 2011-07-15 |
* | Fixes to work nicely with OS X and Clang (thanks to Austin Seipp) | Adam Chlipala | 2011-06-17 |
* | Switch from libmhash to OpenSSL | Adam Chlipala | 2010-12-26 |
* | Switch to gcc -Wall | Adam Chlipala | 2010-01-28 |
* | First attempt to switch to Automake, to get shared libraries built in OSX | Adam Chlipala | 2010-01-28 |