Mercurial > cpdt > repo

view .hgignore @ 546:306539f29eea

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make specially licensed versions of lib files for cpdtlib.tgz. This adds an ocaml tool and calls to it in the Makefile.
author Arthur Peters <amp@singingwizard.org>
date Thu, 12 May 2016 18:09:36 -0500
parents ed829eaa91b2
children af97676583f3
line wrap: on
line source
syntax: glob

*~

*.depend
*.vo
Makefile.coq
.coq_globals

*/coqdoc.sty
*/*.log

html/coqdoc.css
html/*.html

templates/*.v

staging/html/.dir
cpdt.tgz
cpdtlib.tgz
cpdtlib

*.glob
*.v.d

*.aux
*.dvi
*.log
*.v.tex
exercises.tex
*.toc
*.bbl
*.blg
*.idx
*.ilg
*.pdf
*.ind
*.out
src/.coq-native