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: */*.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 adam@517: cpdtlib.tgz adam@517: cpdtlib adamc@204: adamc@204: *.glob adamc@204: *.v.d adamc@208: adamc@208: *.aux adamc@208: *.dvi adamc@208: *.log adam@311: *.v.tex adam@370: exercises.tex adam@302: *.toc adam@310: *.bbl adam@310: *.blg adam@310: *.idx adam@310: *.ilg adam@310: *.pdf adam@310: *.ind adam@310: *.out adam@534: src/.coq-native