/[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:11 (Hide 7 dead files)


File Rev. Age Author Last log entry
 Parent Directory        
files/         (from /)
ChangeLog  1.43  4 months  ulm  Remove redundant NEED_EMACS assignment. Remove old. (Portage version: 2.2.10/cv…
Manifest  1.50  4 months  ulm  Remove redundant NEED_EMACS assignment. Remove old. (Portage version: 2.2.10/cv…
metadata.xml  1.1  10 years  mattam  Initial commit
proofgeneral-3.4.ebuild (dead)  1.7  10 years  mattam  Move 3.5 to stable, remove old version.
proofgeneral-3.5-r1.ebuild (dead)  1.8  5 years  fauli  clean up (Portage version: 2.1.4.5)
proofgeneral-3.5.ebuild (dead)  1.8  7 years  ulm  Remove old. (Portage version: 2.1.3.12)
proofgeneral-3.7.1.ebuild (dead)  1.6  8 months  ulm  Remove old. (Portage version: 2.2.8-r1/cvs/Linux x86_64, signed Manifest commit…
proofgeneral-3.7.ebuild (dead)  1.6  5 years  fauli  clean up (Portage version: 2.1.6.13/cvs/Linux i686)
proofgeneral-4.0.ebuild (dead)  1.3  18 months  ulm  Version bump, bug 445242. Remove old. (Portage version: 2.1.11.62/cvs/Linux x86…
proofgeneral-4.1.ebuild (dead)  1.6  4 months  ulm  Remove redundant NEED_EMACS assignment. Remove old. (Portage version: 2.2.10/cv…
proofgeneral-4.2.ebuild  1.5  4 months  ulm  Remove redundant NEED_EMACS assignment. Remove old. (Portage version: 2.2.10/cv…

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20