index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
refman
Mode
Name
Size
-rw-r--r--
AddRefMan-pre.tex
2184
log
plain
-rw-r--r--
Cases.tex
25128
log
plain
-rw-r--r--
Coercion.tex
18457
log
plain
-rw-r--r--
Extraction.tex
23153
log
plain
-rw-r--r--
Helm.tex
13846
log
plain
-rw-r--r--
Natural.tex
11933
log
plain
-rw-r--r--
Omega.tex
6831
log
plain
-rw-r--r--
Polynom.tex
27249
log
plain
-rw-r--r--
Program.tex
18428
log
plain
-rw-r--r--
RefMan-add.tex
2199
log
plain
-rw-r--r--
RefMan-cas.tex
23870
log
plain
-rw-r--r--
RefMan-cic.tex
74651
log
plain
-rw-r--r--
RefMan-coi.tex
16432
log
plain
-rw-r--r--
RefMan-com.tex
9145
log
plain
-rw-r--r--
RefMan-ext.tex
42697
log
plain
-rw-r--r--
RefMan-gal.tex
61088
log
plain
-rw-r--r--
RefMan-ide.tex
14057
log
plain
-rw-r--r--
RefMan-ind.tex
17643
log
plain
-rw-r--r--
RefMan-int.tex
6808
log
plain
-rw-r--r--
RefMan-lib.tex
32030
log
plain
-rw-r--r--
RefMan-ltac.tex
41485
log
plain
-rw-r--r--
RefMan-mod.tex
10133
log
plain
-rw-r--r--
RefMan-modr.tex
15316
log
plain
-rw-r--r--
RefMan-oth.tex
32528
log
plain
-rw-r--r--
RefMan-pre.tex
28791
log
plain
-rw-r--r--
RefMan-pro.tex
12762
log
plain
-rw-r--r--
RefMan-syn.tex
41975
log
plain
-rw-r--r--
RefMan-tac.tex
125649
log
plain
-rw-r--r--
RefMan-tacex.tex
33805
log
plain
-rw-r--r--
RefMan-tus.tex
82611
log
plain
-rw-r--r--
RefMan-uti.tex
10670
log
plain
-rw-r--r--
Reference-Manual.tex
3009
log
plain
-rw-r--r--
Setoid.tex
24121
log
plain
-rw-r--r--
biblio.bib
42294
log
plain
-rw-r--r--
coqdoc.tex
14903
log
plain
-rw-r--r--
coqide-queries.png
27316
log
plain
-rw-r--r--
coqide.png
20953
log
plain
-rw-r--r--
cover.html
1309
log
plain
-rw-r--r--
headers.tex
3503
log
plain
-rw-r--r--
hevea.sty
2685
log
plain
-rw-r--r--
index.html
187
log
plain
-rw-r--r--
menu.html
837
log
plain