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 4,096 ex
- - rw-r--r-- 2,228 README
- - rw-r--r-- 603 TODO
- - rw-r--r-- 15,938 coq-abbrev.el
- - rw-r--r-- 3,493 coq-autotest.el
- - rw-r--r-- 32,378 coq-compile-common.el
- - rw-r--r-- 15,213 coq-db.el
- - rw-r--r-- 2,831 coq-diffs.el
- - rw-r--r-- 46,714 coq-indent.el
- - rw-r--r-- 7,568 coq-local-vars.el
- - rw-r--r-- 8,981 coq-mode.el
- - rw-r--r-- 109,021 coq-par-compile.el
- - rw-r--r-- 18,581 coq-seq-compile.el
- - rw-r--r-- 62,802 coq-smie.el
- - rw-r--r-- 85,922 coq-syntax.el
- - rw-r--r-- 30,524 coq-system.el
- - rw-r--r-- 8,025 coq-unicode-tokens.el
- - rw-r--r-- 144,295 coq.el
- - rwxr-xr-x 4,419 coqtags
- - rw-r--r-- 1,204 ex-module.v
- - rw-r--r-- 2,084 example-tokens.v
- - rw-r--r-- 251 example.v
- - rw-r--r-- 8,277 faq