package info (click to toggle)
proofgeneral 4.5-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 5,172 kB
  • sloc: lisp: 33,783; makefile: 388; sh: 118; perl: 109

Folder: coq

d .. (parent)
d d rwxr-xr-x 153 multiple
d d rwxr-xr-x 69 multiple-plain
- - rw-r--r-- 983 UndoFail.v
- - rw-r--r-- 230 bug-114.v
- - rw-r--r-- 4,591 bug-447.v
- - rw-r--r-- 255 highlighterror.v
- - rw-r--r-- 1,855 indent.v
- - rw-r--r-- 328 lostmessages.v
- - rw-r--r-- 1,122 naming.v
- - rw-r--r-- 3,321 nested.v
- - rw-r--r-- 234 parsing.v
- - rw-r--r-- 135 parsingcheck-410.v
- - rw-r--r-- 1,814 parsingdot.v
- - rw-r--r-- 1,447 queryreplace.v
- - rw-r--r-- 434 xemacs21528.v
- - rw-r--r-- 1,200 xsymboltest.v