GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
repo/gentoo/historical.git
master
Gentoo ebuild repository HISTORICAL read-only tree
Infrastructure team <infrastructure@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
app-emacs
/
proofgeneral
/
files
Commit message (
Expand
)
Author
Age
Files
Lines
*
Version bump, bug 386465.
Ulrich Müller
2011-12-08
1
-0
/
+73
*
Fix parallel make issue, install html documentation, bug 304399.
Ulrich Müller
2010-02-11
1
-3
/
+0
*
clean up
Christian Faulhammer
2008-12-06
1
-29
/
+0
*
Fix patch to apply.
Diego Elio Pettenò
2008-11-17
1
-2
/
+2
*
Version bump. Properly install site file, fixes bug 211658.
Ulrich Müller
2008-02-27
1
-2
/
+3
*
Remove all old-style digests from the system and regen the Manifest files.
Robin H. Johnson
2008-01-31
1
-3
/
+0
*
Remove old.
Ulrich Müller
2007-10-11
1
-3
/
+0
*
add load path correctly, fixes bug 169588, reported by Ulrich Mueller <ulm@kp...
Christian Faulhammer
2007-03-08
1
-2
/
+1
*
removed question for executable, so this ebuild is not interactive anymore. ...
Christian Faulhammer
2006-11-02
3
-0
/
+34
*
Move 3.5 to stable, remove old version.
Matthieu Sozeau
2004-10-09
1
-1
/
+0
*
Version bump, needs test as we use the packages own Makefile now.
Matthieu Sozeau
2004-06-20
1
-0
/
+1
*
Initial commit
Matthieu Sozeau
2004-01-21
2
-0
/
+6