aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
ModeNameSize
-rw-r--r--.cvsignore8logplain
-rw-r--r--Makefile524logplain
-rw-r--r--intro.tex1260logplain
-rw-r--r--kernel.dep.ps8992logplain
-rw-r--r--library.dep.ps8481logplain
-rw-r--r--macros.tex153logplain
-rw-r--r--minicoq.tex2947logplain
-rw-r--r--newsyntax.tex24439logplain
-rw-r--r--parsing.dep.ps10171logplain
-rw-r--r--preamble.tex187logplain
-rw-r--r--pretyping.dep.ps13017logplain
-rw-r--r--proofs.dep.ps7320logplain
-rw-r--r--tactics.dep.ps10938logplain
-rw-r--r--toplevel.dep.ps11009logplain