| Mode | Name | Size | |
|---|---|---|---|
| -rwxr-xr-x | README.coq-tex | 380 | logplain |
| -rwxr-xr-x | README.emacs | 829 | logplain |
| -rwxr-xr-x | beautify-archive | 2034 | logplain |
| -rwxr-xr-x | check-translate | 975 | logplain |
| -rw-r--r-- | compat5.ml | 685 | logplain |
| -rw-r--r-- | compat5.mlp | 965 | logplain |
| -rw-r--r-- | compat5b.ml | 686 | logplain |
| -rw-r--r-- | compat5b.mlp | 977 | logplain |
| -rw-r--r-- | coq-db.el | 8673 | logplain |
| -rw-r--r-- | coq-font-lock.el | 4902 | logplain |
| -rw-r--r-- | coq-inferior.el | 11606 | logplain |
| -rwxr-xr-x | coq-sl.sty | 740 | logplain |
| -rw-r--r-- | coq-syntax.el | 44698 | logplain |
| -rw-r--r-- | coq.el | 4804 | logplain |
| -rw-r--r-- | coq_makefile.ml | 30270 | logplain |
| -rw-r--r-- | coq_tex.ml4 | 9503 | logplain |
| -rw-r--r-- | coqdep.ml | 6992 | logplain |
| -rw-r--r-- | coqdep_boot.ml | 1902 | logplain |
| -rw-r--r-- | coqdep_common.ml | 16800 | logplain |
| -rw-r--r-- | coqdep_common.mli | 2172 | logplain |
| -rw-r--r-- | coqdep_lexer.mli | 1017 | logplain |
| -rw-r--r-- | coqdep_lexer.mll | 9750 | logplain |
| d--------- | coqdoc | 562 | logplain |
| -rw-r--r-- | coqwc.mll | 9193 | logplain |
| -rw-r--r-- | fake_ide.ml | 3297 | logplain |
| -rw-r--r-- | gallina.ml | 1861 | logplain |
| -rw-r--r-- | gallina_lexer.mll | 4863 | logplain |
| -rw-r--r-- | mkwinapp.ml | 3016 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |