adamc@0: syntax: glob adamc@0: adamc@0: *~ adamc@0: adamc@0: *.depend adamc@0: *.vo adamc@13: Makefile.coq adamc@13: .coq_globals adamc@3: adamc@3: */coqdoc.sty adamc@3: */cpdt.* adamc@3: */*.log adamc@3: adamc@13: html/coqdoc.css adamc@13: html/*.html adamc@22: adamc@22: templates/*.v adamc@39: adamc@39: staging/html/.dir adamc@39: cpdt.tgz adamc@204: adamc@204: *.glob adamc@204: *.v.d adamc@208: adamc@208: *.aux adamc@208: *.dvi adamc@208: *.log adam@302: *.tex adam@302: *.toc