package info (click to toggle)
coq 9.1.0%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 35,964 kB
  • sloc: ml: 239,908; sh: 4,355; python: 2,985; ansic: 2,644; makefile: 874; lisp: 171; javascript: 63; xml: 24; sed: 2

Folder: output-coqtop

d .. (parent)
- - rw-r--r-- 500 BracketLoc.out
- - rw-r--r-- 34 BracketLoc.v
- - rw-r--r-- 1,501 DependentEvars.out
- - rw-r--r-- 466 DependentEvars.v
- - rw-r--r-- 2,043 DependentEvars2.out
- - rw-r--r-- 519 DependentEvars2.v
- - rw-r--r-- 680 DependentEvars3.out
- - rw-r--r-- 161 DependentEvars3.v
- - rw-r--r-- 910 ListTags.out
- - rw-r--r-- 45 ListTags.v
- - rw-r--r-- 420 LookaheadErrors.out
- - rw-r--r-- 180 LookaheadErrors.v
- - rw-r--r-- 1,030 ShowGoal.out
- - rw-r--r-- 206 ShowGoal.v
- - rw-r--r-- 2,426 ShowProofDiffs.out
- - rw-r--r-- 222 ShowProofDiffs.v
- - rw-r--r-- 1,268 attributes.out
- - rw-r--r-- 330 attributes.v
- - rw-r--r-- 43 backto.out
- - rw-r--r-- 12 backto.v
- - rw-r--r-- 256 bug_12138.out
- - rw-r--r-- 63 bug_12138.v
- - rw-r--r-- 657 bug_16462.out
- - rw-r--r-- 459 bug_16462.v
- - rw-r--r-- 426 bug_16745.out
- - rw-r--r-- 138 bug_16745.v
- - rw-r--r-- 1,406 ltac2_var_quot.out
- - rw-r--r-- 233 ltac2_var_quot.v