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: printing

d .. (parent)
- - rw-r--r-- 5,574 genprint.ml
- - rw-r--r-- 2,249 genprint.mli
- - rw-r--r-- 24,971 ppconstr.ml
- - rw-r--r-- 3,288 ppconstr.mli
- - rw-r--r-- 6,756 pputils.ml
- - rw-r--r-- 2,007 pputils.mli
- - rw-r--r-- 35,571 prettyp.ml
- - rw-r--r-- 4,781 prettyp.mli
- - rw-r--r-- 38,067 printer.ml
- - rw-r--r-- 12,521 printer.mli
- - rw-r--r-- 63 printing.mllib
- - rw-r--r-- 18,128 printmod.ml
- - rw-r--r-- 1,016 printmod.mli
- - rw-r--r-- 24,818 proof_diffs.ml
- - rw-r--r-- 3,372 proof_diffs.mli