Mercurial > cpdt > repo
comparison book/src/Intro.v @ 6:b22369f7f0fe
Placeholders to create html and latex directories
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Mon, 01 Sep 2008 09:27:25 -0400 |
| parents | aa32e9f63da0 |
| children | 6cc7a8fd4a8c |
comparison
equal
deleted
inserted
replaced
| 5:aa32e9f63da0 | 6:b22369f7f0fe |
|---|