comparison .hgignore @ 4:f913d32a49e4

Start of Intro
author Adam Chlipala <adamc@hcoop.net>
date Fri, 29 Aug 2008 16:41:49 -0400
parents 9fea5674367c
children ea400f692b07
comparison
equal deleted inserted replaced
3:9fea5674367c 4:f913d32a49e4
9 9
10 */coqdoc.sty 10 */coqdoc.sty
11 */cpdt.* 11 */cpdt.*
12 */*.log 12 */*.log
13 13
14 book/html/coqdoc.css
15 book/html/*.html