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: etc

d .. (parent)
d d rwxr-xr-x 4,096 coq
d d rwxr-xr-x 87 demoisa
d d rwxr-xr-x 125 desktop
d d rwxr-xr-x 68 emacsbugs
d d rwxr-xr-x 146 proviola
d d rwxr-xr-x 57 testsuite
d d rwxr-xr-x 4,096 trac
- - rw-r--r-- 738 Dockerfile
- - rw-r--r-- 178 ProofGeneral.desktop
- - rw-r--r-- 215 ProofGeneral.menu
- - rw-r--r-- 2,690 ProofGeneral.spec
- - rw-r--r-- 944 README
- - rw-r--r-- 2,971 cvs-tips.txt
- - rw-r--r-- 2,212 development-tips.txt
- - rw-r--r-- 426 profiling.txt
- - rw-r--r-- 750 proofgeneral-domain.txt