Blame · .hgignore · 5c1995f552e6e502218acced2408567eac26493e · research / cpdt · GitLab

Normal view History Permalink

.hgignore 275 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`
Build an open-source release of library modules 217c70ea Adam Chlipala committed 11 years ago	20 21	`cpdtlib.tgz cpdtlib`
Parts I want to keep compile with 8.2 e1ab379e Adam Chlipala committed 15 years ago	22 23 24	`.glob .v.d`
Port InductiveTypes fae77dd4 Adam Chlipala committed 15 years ago	25 26 27 28	`.aux .dvi *.log`
Pass through first half of StackMachine, along with some reorganization of the build process 5a46baf2 Adam Chlipala committed 13 years ago	29	`*.v.tex`
Move exercises out of mainline book d7ee798c Adam Chlipala committed 13 years ago	30	`exercises.tex`
Tweak mark-up to support coqdoc 8.3 12609c55 Adam Chlipala committed 14 years ago	31	`*.toc`
Fix .hgignore and check in .bib be92d106 Adam Chlipala committed 13 years ago	32 33 34 35 36 37 38	`.bbl .blg .idx .ilg .pdf .ind *.out`