Mercurial > urweb
log doc/manual.tex
age | author | description |
---|---|---|
Sun, 07 Aug 2011 16:53:06 -0400 | Adam Chlipala | '-dumpTypes' |
Sun, 07 Aug 2011 13:47:15 -0400 | Adam Chlipala | Manual: emphasize how great '-tc' is |
Tue, 02 Aug 2011 14:45:19 -0400 | Adam Chlipala | Remove some GCC-specific identifier choice and documentation |