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

d .. (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