package info (click to toggle)
proofgeneral 3.5-4.1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 8,120 kB
  • ctags: 3,972
  • sloc: lisp: 34,872; makefile: 452; sh: 323; perl: 205; ansic: 43

Folder: coq

d .. (parent)
- - rw-r--r-- 693 BUGS
- - rw-r--r-- 898 KnasterTarski.v
- - rw-r--r-- 1,998 README
- - rw-r--r-- 13,271 coq-abbrev-V7.el
- - rw-r--r-- 12,423 coq-abbrev-V7.elc
- - rw-r--r-- 17,031 coq-abbrev.el
- - rw-r--r-- 15,874 coq-abbrev.elc
- - rw-r--r-- 18,277 coq-indent.el
- - rw-r--r-- 7,995 coq-indent.elc
- - rw-r--r-- 23,171 coq-syntax.el
- - rw-r--r-- 15,912 coq-syntax.elc
- - rw-r--r-- 32,981 coq.el
- - rw-r--r-- 20,500 coq.elc
- - rwxr-xr-x 1,873 coqtags
- - rw-r--r-- 1,489 ex-module.v
- - rw-r--r-- 1,200 example-x-symbols.v
- - rw-r--r-- 229 example.v
- - rw-r--r-- 6,574 root2.v
- - rw-r--r-- 14,664 x-symbol-coq.el
- - rw-r--r-- 10,759 x-symbol-coq.elc