Skip to content

C
cpdt
Commit cffeeacc authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

Ported Subset

parent 70f53dbb
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 75 additions and 68 deletions
Makefile
View file @ cffeeacc
...@@ -38,7 +38,9 @@ latex/cpdt.tex: Makefile $(VS) ...@@ -38,7 +38,9 @@ latex/cpdt.tex: Makefile $(VS)
-o ../latex/cpdt.tex -o ../latex/cpdt.tex
latex/%.tex: src/%.v latex/%.tex: src/%.v
coqdoc --interpolate --latex -s $< -o $@ coqdoc --interpolate --latex -s \
-p "\usepackage{url}" \
$< -o $@
latex/%.dvi: latex/%.tex latex/%.dvi: latex/%.tex
cd latex ; latex $* ; latex $* cd latex ; latex $* ; latex $*
......
src/Subset.v
View file @ cffeeacc
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment