/[gentoo-x86]/app-emacs/proofgeneral
Gentoo

Index of /app-emacs/proofgeneral

Anonymous Access: cvs -d :pserver:anonymous@anoncvs.gentoo.org:/var/cvsroot co gentoo-x86/app-emacs/proofgeneral

Developer Access: cvs -d :ext:${USER}@cvs.gentoo.org:/var/cvsroot co gentoo-x86/app-emacs/proofgeneral

More Information: http://anoncvs.gentoo.org/

Files shown:4 (Show 7 dead files)


File Rev. Age Author Last log entry
 Parent Directory        
files/         (from /)
ChangeLog  1.43  7 weeks  ulm  Remove redundant NEED_EMACS assignment. Remove old. (Portage version: 2.2.10/cv…
Manifest  1.50  7 weeks  ulm  Remove redundant NEED_EMACS assignment. Remove old. (Portage version: 2.2.10/cv…
metadata.xml  1.1  10 years  mattam  Initial commit
proofgeneral-4.2.ebuild  1.5  7 weeks  ulm  Remove redundant NEED_EMACS assignment. Remove old. (Portage version: 2.2.10/cv…

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20