Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/app-emacs/proofgeneral/proofgeneral-3.5-r1.ebuild
Commit message (Expand)AuthorAgeFilesLines
* clean upChristian Faulhammer2008-12-061-54/+0
* stable amd64, bug 195156Christian Faulhammer2007-10-161-2/+2
* stable ppc, bug #195156Lars Weiler2007-10-111-2/+2
* stable x86, bug 195156Christian Faulhammer2007-10-081-2/+2
* Remove redundant SIMPLE_ELISP and DEPEND=virtual/emacs. Quote some variables.Ulrich Müller2007-10-071-4/+3
* clean-up DEPEND; exchange manual make calls with emake; adjusted DESCRIPTION;...Christian Faulhammer2007-07-031-13/+7
* Replacing einfo with elogMarius Mauch2007-01-281-5/+5
* removed question for executable, so this ebuild is not interactive anymore. ...Christian Faulhammer2006-11-021-0/+61