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: test-indent

d .. (parent)
- - rw-r--r-- 10 .gitignore
- - rw-r--r-- 448 Makefile
- - rw-r--r-- 3,128 coq-test-indent.el
- - rwxr-xr-x 1,274 coq-test-indent.sh
- - rw-r--r-- 4,233 indent-commands-boxed.v
- - rw-r--r-- 4,229 indent-commands.v
- - rw-r--r-- 2,920 indent-equations.v
- - rw-r--r-- 1,639 indent-inside-command-boxed.v
- - rw-r--r-- 1,386 indent-inside-command.v
- - rw-r--r-- 1,192 indent-monadic.v
- - rw-r--r-- 3,364 indent-tac-boxed.v
- - rw-r--r-- 11,536 indent-tac.v
- - rwxr-xr-x 193 tests.sh