comparison .hgignore @ 13:ea400f692b07

Merge; make prose nicer
author Adam Chlipala <adamc@hcoop.net>
date Wed, 03 Sep 2008 13:45:59 -0400
parents f913d32a49e4
children 91e247c68ee8
comparison
equal deleted inserted replaced
12:bcf375310f5f 13:ea400f692b07
2 2
3 *~ 3 *~
4 4
5 *.depend 5 *.depend
6 *.vo 6 *.vo
7 */Makefile.coq 7 Makefile.coq
8 */.coq_globals 8 .coq_globals
9 9
10 */coqdoc.sty 10 */coqdoc.sty
11 */cpdt.* 11 */cpdt.*
12 */*.log 12 */*.log
13 13
14 book/html/coqdoc.css 14 html/coqdoc.css
15 book/html/*.html 15 html/*.html