Mercurial > urweb
log src/c/Makefile.in
age | author | description |
---|---|---|
Tue, 02 Aug 2011 14:45:19 -0400 | Adam Chlipala | Remove some GCC-specific identifier choice and documentation |
Fri, 15 Jul 2011 16:50:55 -0400 | Adam Chlipala | Generated pretty-printed HTML for a simple tutorial source file |
Fri, 17 Jun 2011 11:52:56 -0400 | Adam Chlipala | Fixes to work nicely with OS X and Clang (thanks to Austin Seipp) |
Sun, 29 May 2011 13:31:53 -0400 | Adam Chlipala | Configuration detects proper header files for database dev libraries |