Mercurial > urweb
log
age | author | description |
---|---|---|
Sun, 13 Jul 2008 12:51:58 -0400 | Adam Chlipala | Print a message on Laconic compilation failure |
Sun, 13 Jul 2008 12:47:54 -0400 | Adam Chlipala | Turn on gcc -O3 |
Sun, 13 Jul 2008 12:43:47 -0400 | Adam Chlipala | Handling duplicate tags |