package info (click to toggle)
coq-doc 8.20.0-2
  • links: PTS, VCS
  • area: non-free
  • in suites: forky, sid, trixie
  • size: 46,708 kB
  • sloc: ml: 234,429; sh: 4,686; python: 3,359; ansic: 2,644; makefile: 842; lisp: 172; javascript: 87; xml: 24; sed: 2

Folder: ltac2

d .. (parent)
- - rw-r--r-- 207 dune
- - rw-r--r-- 35,878 g_ltac2.mlg
- - rw-r--r-- 2,164 g_ltac2.mli
- - rw-r--r-- 0 ltac2_plugin.mllib
- - rw-r--r-- 2,724 tac2bt.ml
- - rw-r--r-- 949 tac2bt.mli
- - rw-r--r-- 72,164 tac2core.ml
- - rw-r--r-- 2,762 tac2core.mli
- - rw-r--r-- 1,124 tac2dyn.ml
- - rw-r--r-- 1,408 tac2dyn.mli
- - rw-r--r-- 43,880 tac2entries.ml
- - rw-r--r-- 3,850 tac2entries.mli
- - rw-r--r-- 10,281 tac2env.ml
- - rw-r--r-- 7,219 tac2env.mli
- - rw-r--r-- 6,329 tac2expr.mli
- - rw-r--r-- 3,422 tac2externals.ml
- - rw-r--r-- 3,700 tac2externals.mli
- - rw-r--r-- 1,602 tac2extffi.ml
- - rw-r--r-- 827 tac2extffi.mli
- - rw-r--r-- 8,754 tac2ffi.ml
- - rw-r--r-- 6,613 tac2ffi.mli
- - rw-r--r-- 78,868 tac2intern.ml
- - rw-r--r-- 2,411 tac2intern.mli
- - rw-r--r-- 9,483 tac2interp.ml
- - rw-r--r-- 1,550 tac2interp.mli
- - rw-r--r-- 9,128 tac2match.ml
- - rw-r--r-- 1,395 tac2match.mli
- - rw-r--r-- 34,224 tac2print.ml
- - rw-r--r-- 2,439 tac2print.mli
- - rw-r--r-- 5,070 tac2qexpr.mli
- - rw-r--r-- 21,665 tac2quote.ml
- - rw-r--r-- 3,543 tac2quote.mli
- - rw-r--r-- 17,809 tac2stdlib.ml
- - rw-r--r-- 798 tac2stdlib.mli
- - rw-r--r-- 15,592 tac2tactics.ml
- - rw-r--r-- 4,954 tac2tactics.mli
- - rw-r--r-- 2,692 tac2types.mli
- - rw-r--r-- 11,729 tac2typing_env.ml
- - rw-r--r-- 2,651 tac2typing_env.mli
- - rw-r--r-- 4,059 tac2val.ml
- - rw-r--r-- 2,675 tac2val.mli