Blame · .hgignore · df735505358e0581e3cb691533745245e89b1bb2 · research / cpdt · GitLab

Normal view History Permalink

.hgignore 255 Bytes

Newer Older

Syllabus prose 27f5fd8e Adam Chlipala committed 16 years ago	1 2 3 4 5 6	`syntax: glob ~ .depend *.vo`
Merge; make prose nicer e4a682bd Adam Chlipala committed 16 years ago	7 8	`Makefile.coq .coq_globals`
Pretty LaTeX generation 0f1efe21 Adam Chlipala committed 16 years ago	9 10 11 12	`/coqdoc.sty /*.log`
Merge; make prose nicer e4a682bd Adam Chlipala committed 16 years ago	13 14	`html/coqdoc.css html/*.html`
Template generation e450fe0b Adam Chlipala committed 16 years ago	15 16	`templates/*.v`
Publishing to the web c11ea14a Adam Chlipala committed 16 years ago	17 18 19	`staging/html/.dir cpdt.tgz`
Parts I want to keep compile with 8.2 e1ab379e Adam Chlipala committed 15 years ago	20 21 22	`.glob .v.d`
Port InductiveTypes fae77dd4 Adam Chlipala committed 15 years ago	23 24 25 26	`.aux .dvi *.log`
Pass through first half of StackMachine, along with some reorganization of the build process 5a46baf2 Adam Chlipala committed 13 years ago	27	`*.v.tex`
Move exercises out of mainline book d7ee798c Adam Chlipala committed 13 years ago	28	`exercises.tex`
Tweak mark-up to support coqdoc 8.3 12609c55 Adam Chlipala committed 14 years ago	29	`*.toc`
Fix .hgignore and check in .bib be92d106 Adam Chlipala committed 13 years ago	30 31 32 33 34 35 36	`.bbl .blg .idx .ilg .pdf .ind *.out`