package info
(click to toggle)
coq 8.0pl2-2
- links: PTS
- area: main
- in suites: sarge
- size: 14,228 kB
- ctags: 17,685
- sloc: ml: 97,070; makefile: 1,255; sh: 738; lisp: 456; awk: 15
Folder: parsing
 |
.. (parent) | |||
 |
- | rw-r--r-- | 12,388 | argextend.ml4 |
|
- | rwxr-xr-x | 18,831 | ast.ml |
|
- | rwxr-xr-x | 3,561 | ast.mli |
|
- | rw-r--r-- | 4,122 | coqast.ml |
|
- | rw-r--r-- | 1,692 | coqast.mli |
|
- | rw-r--r-- | 221 | doc.tex |
|
- | rw-r--r-- | 19,154 | egrammar.ml |
|
- | rw-r--r-- | 2,052 | egrammar.mli |
|
- | rw-r--r-- | 9,545 | esyntax.ml |
|
- | rw-r--r-- | 1,907 | esyntax.mli |
|
- | rw-r--r-- | 11,873 | extend.ml |
|
- | rw-r--r-- | 4,492 | extend.mli |
|
- | rw-r--r-- | 19,670 | g_basevernac.ml4 |
|
- | rw-r--r-- | 2,698 | g_cases.ml4 |
|
- | rw-r--r-- | 13,495 | g_constr.ml4 |
|
- | rw-r--r-- | 10,926 | g_constrnew.ml4 |
|
- | rw-r--r-- | 7,790 | g_ltac.ml4 |
|
- | rw-r--r-- | 6,591 | g_ltacnew.ml4 |
|
- | rw-r--r-- | 5,500 | g_minicoq.ml4 |
|
- | rw-r--r-- | 1,062 | g_minicoq.mli |
|
- | rw-r--r-- | 1,363 | g_module.ml4 |
|
- | rw-r--r-- | 6,100 | g_natsyntax.ml |
|
- | rw-r--r-- | 634 | g_natsyntax.mli |
|
- | rw-r--r-- | 636 | g_natsyntaxnew.mli |
|
- | rw-r--r-- | 4,267 | g_prim.ml4 |
|
- | rw-r--r-- | 2,513 | g_primnew.ml4 |
|
- | rw-r--r-- | 5,496 | g_proofs.ml4 |
|
- | rw-r--r-- | 5,037 | g_proofsnew.ml4 |
|
- | rw-r--r-- | 11,290 | g_rsyntax.ml |
|
- | rw-r--r-- | 14,100 | g_tactic.ml4 |
|
- | rw-r--r-- | 15,011 | g_tacticnew.ml4 |
|
- | rw-r--r-- | 17,420 | g_vernac.ml4 |
|
- | rw-r--r-- | 25,802 | g_vernacnew.ml4 |
|
- | rw-r--r-- | 13,010 | g_zsyntax.ml |
|
- | rw-r--r-- | 631 | g_zsyntax.mli |
|
- | rw-r--r-- | 634 | g_zsyntaxnew.mli |
|
- | rw-r--r-- | 17,917 | lexer.ml4 |
|
- | rw-r--r-- | 1,520 | lexer.mli |
|
- | rw-r--r-- | 27,056 | pcoq.ml4 |
|
- | rw-r--r-- | 6,432 | pcoq.mli |
|
- | rw-r--r-- | 12,317 | ppconstr.ml |
|
- | rw-r--r-- | 1,536 | ppconstr.mli |
|
- | rw-r--r-- | 28,908 | pptactic.ml |
|
- | rw-r--r-- | 3,180 | pptactic.mli |
|
- | rw-r--r-- | 19,495 | prettyp.ml |
|
- | rw-r--r-- | 2,459 | prettyp.mli |
|
- | rw-r--r-- | 8,299 | printer.ml |
|
- | rw-r--r-- | 2,171 | printer.mli |
|
- | rw-r--r-- | 4,880 | printmod.ml |
|
- | rw-r--r-- | 749 | printmod.mli |
|
- | rw-r--r-- | 24,520 | q_coqast.ml4 |
|
- | rw-r--r-- | 2,397 | q_util.ml4 |
|
- | rw-r--r-- | 1,120 | q_util.mli |
|
- | rw-r--r-- | 7,023 | search.ml |
|
- | rw-r--r-- | 2,165 | search.mli |
|
- | rw-r--r-- | 9,479 | tacextend.ml4 |
|
- | rw-r--r-- | 17,035 | termast.ml |
|
- | rw-r--r-- | 1,959 | termast.mli |
|
- | rw-r--r-- | 5,253 | vernacextend.ml4 |