package info (click to toggle)
coq 8.9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: buster, sid
  • size: 30,604 kB
  • sloc: ml: 192,230; sh: 2,585; python: 2,206; ansic: 1,878; makefile: 818; lisp: 202; xml: 24; sed: 2

Folder: toplevel

d .. (parent)
- - rw-r--r-- 18,517 coqargs.ml
- - rw-r--r-- 2,007 coqargs.mli
- - rw-r--r-- 4,563 coqinit.ml
- - rw-r--r-- 1,048 coqinit.mli
- - rw-r--r-- 15,693 coqloop.ml
- - rw-r--r-- 1,723 coqloop.mli
- - rw-r--r-- 20,093 coqtop.ml
- - rw-r--r-- 1,365 coqtop.mli
- - rw-r--r-- 1,685 g_toplevel.mlg
- - rw-r--r-- 66 toplevel.mllib
- - rw-r--r-- 5,734 usage.ml
- - rw-r--r-- 1,193 usage.mli
- - rw-r--r-- 8,781 vernac.ml
- - rw-r--r-- 1,420 vernac.mli
- - rw-r--r-- 1,139 workerLoop.ml
- - rw-r--r-- 771 workerLoop.mli