aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman
ModeNameSize
-rw-r--r--AddRefMan-pre.tex2311logplain
-rw-r--r--AsyncProofs.tex8702logplain
-rw-r--r--CanonicalStructures.tex15017logplain
-rw-r--r--Cases.tex27443logplain
-rw-r--r--Classes.tex16101logplain
-rw-r--r--Coercion.tex18973logplain
-rw-r--r--Extraction.tex23206logplain
-rw-r--r--Micromega.tex10660logplain
-rw-r--r--Misc.tex1974logplain
-rw-r--r--Natural.tex11907logplain
-rw-r--r--Nsatz.tex4003logplain
-rw-r--r--Omega.tex6791logplain
-rw-r--r--Polynom.tex29923logplain
-rw-r--r--Program.tex13370logplain
-rw-r--r--RefMan-add.tex2580logplain
-rw-r--r--RefMan-cic.tex78076logplain
-rw-r--r--RefMan-coi.tex16333logplain
-rw-r--r--RefMan-com.tex13051logplain
-rw-r--r--RefMan-decl.tex23067logplain
-rw-r--r--RefMan-ext.tex75043logplain
-rw-r--r--RefMan-gal.tex64570logplain
-rw-r--r--RefMan-ide.tex13344logplain
-rw-r--r--RefMan-ind.tex18626logplain
-rw-r--r--RefMan-int.tex6705logplain
-rw-r--r--RefMan-lib.tex32505logplain
-rw-r--r--RefMan-ltac.tex58241logplain
-rw-r--r--RefMan-mod.tex11806logplain
-rw-r--r--RefMan-modr.tex14780logplain
-rw-r--r--RefMan-oth.tex46756logplain
-rw-r--r--RefMan-pre.tex51855logplain
-rw-r--r--RefMan-pro.tex19708logplain
-rw-r--r--RefMan-sch.tex12995logplain
-rw-r--r--RefMan-syn.tex47192logplain
-rw-r--r--RefMan-tac.tex180971logplain
-rw-r--r--RefMan-tacex.tex30349logplain
-rw-r--r--RefMan-tus.tex82824logplain
-rw-r--r--RefMan-uti.tex10488logplain
-rw-r--r--Reference-Manual.tex4198logplain
-rw-r--r--Setoid.tex38471logplain
-rw-r--r--Universes.tex9027logplain
-rw-r--r--biblio.bib42275logplain
-rw-r--r--coqdoc.tex17778logplain
-rw-r--r--coqide-queries.eps187058logplain
-rw-r--r--coqide-queries.png27316logplain
-rw-r--r--coqide.eps158733logplain
-rw-r--r--coqide.png20953logplain
-rw-r--r--headers.hva1698logplain
-rw-r--r--headers.sty3452logplain
-rw-r--r--hevea.sty2685logplain
-rw-r--r--index.html187logplain
-rw-r--r--menu.html955logplain
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-12 04:47:10 +0000