1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
|
# ChangeLog for app-emacs/proofgeneral
# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.30 2010/02/11 09:56:22 ulm Exp $
11 Feb 2010; Ulrich Mueller <ulm@gentoo.org> proofgeneral-3.7.1.ebuild:
Fix parallel make issue, install html documentation, bug 304399.
17 Aug 2009; Christian Faulhammer <fauli@gentoo.org>
-proofgeneral-3.7.ebuild:
clean up
11 Jun 2009; Markus Meier <maekke@gentoo.org> proofgeneral-3.7.1.ebuild:
amd64 stable, bug #272471
06 Jun 2009; nixnut <nixnut@gentoo.org> proofgeneral-3.7.1.ebuild:
ppc stable #272471
04 Jun 2009; Christian Faulhammer <fauli@gentoo.org>
proofgeneral-3.7.1.ebuild:
stable x86, bug 272471
*proofgeneral-3.7.1 (30 Jan 2009)
30 Jan 2009; Ulrich Mueller <ulm@gentoo.org> proofgeneral-3.7.ebuild,
+proofgeneral-3.7.1.ebuild:
Version bump. Remove missing file from dodoc arguments, bug 256683.
06 Dec 2008; Christian Faulhammer <fauli@gentoo.org>
-files/proofgeneral-3.5_isabelle-non-interactive.patch,
-proofgeneral-3.5-r1.ebuild:
clean up
17 Nov 2008; Diego E. Pettenò <flameeyes@gentoo.org>
files/proofgeneral-3.5_isabelle-non-interactive.patch:
Fix patch to apply.
12 Apr 2008; nixnut <nixnut@gentoo.org> proofgeneral-3.7.ebuild:
Stable on ppc wrt bug 215344
31 Mar 2008; Christian Faulhammer <opfer@gentoo.org>
proofgeneral-3.7.ebuild:
stable x86, bug 215344
30 Mar 2008; Santiago M. Mola <coldwind@gentoo.org>
proofgeneral-3.7.ebuild:
amd64 stable wrt bug #215344
*proofgeneral-3.7 (27 Feb 2008)
27 Feb 2008; Ulrich Mueller <ulm@gentoo.org>
files/50proofgeneral-gentoo.el, +proofgeneral-3.7.ebuild:
Version bump. Use our own site file and install it in the proper location,
fixes bug 211658. Some cleanup of the ebuild.
16 Oct 2007; Christian Faulhammer <opfer@gentoo.org>
proofgeneral-3.5-r1.ebuild:
stable amd64, bug 195156
11 Oct 2007; Ulrich Mueller <ulm@gentoo.org> -proofgeneral-3.5.ebuild:
Remove old.
11 Oct 2007; Lars Weiler <pylon@gentoo.org> proofgeneral-3.5-r1.ebuild:
stable ppc, bug #195156
08 Oct 2007; Christian Faulhammer <opfer@gentoo.org>
proofgeneral-3.5-r1.ebuild:
stable x86, bug 195156
07 Oct 2007; Ulrich Mueller <ulm@gentoo.org> proofgeneral-3.5.ebuild,
proofgeneral-3.5-r1.ebuild:
Remove redundant SIMPLE_ELISP and DEPEND=virtual/emacs. Quote some variables.
03 Jul 2007; Christian Faulhammer <opfer@gentoo.org>
proofgeneral-3.5-r1.ebuild:
clean-up DEPEND; exchange manual make calls with emake; adjusted
DESCRIPTION; removed pkg_postrm
08 Mar 2007; Christian Faulhammer <opfer@gentoo.org>
files/50proofgeneral-gentoo.el:
add load path correctly, fixes bug 169588, reported by Ulrich Mueller
<ulm@kph.uni-mainz.de>
28 Jan 2007; Marius Mauch <genone@gentoo.org> proofgeneral-3.5.ebuild,
proofgeneral-3.5-r1.ebuild:
Replacing einfo with elog
*proofgeneral-3.5-r1 (02 Nov 2006)
02 Nov 2006; Christian Faulhammer <opfer@gentoo.org>
+files/proofgeneral-3.5_isabelle-non-interactive.patch,
+proofgeneral-3.5-r1.ebuild:
removed question for executable, so this ebuild is not interactive anymore.
Reporte in bug #148857 by Patrick Lauer <patrick@gentoo.org>
28 Aug 2005; Olivier Crête <tester@gentoo.org> proofgeneral-3.5.ebuild:
Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testing
09 Oct 2004; Matthieu Sozeau <mattam@gentoo.org> -proofgeneral-3.4.ebuild,
proofgeneral-3.5.ebuild:
Move 3.5 to stable, remove old version.
*proofgeneral-3.5 (20 Jun 2004)
20 Jun 2004; Matthieu Sozeau <mattam@gentoo.org> proofgeneral-3.5.ebuild:
New version, we now use their makefile (not always non-interactive) and
site file.
20 Jun 2004; Matthieu Sozeau <mattam@gentoo.org> proofgeneral-3.4.ebuild:
Move to stable.
15 Mar 2004; Mamoru KOMACHI <usata@gentoo.org> proofgeneral-3.4.ebuild:
Fixed readonly variable assignment to PN and P. See bug #44712
22 Jan 2004; Matthieu Sozeau <mattam@gentoo.org> proofgeneral-3.4.ebuild:
Fix URI's, site has changed location.
*proofgeneral-3.4 (21 Jan 2004)
21 Jan 2004; Matthieu Sozeau <mattam@gentoo.org> metadata.xml,
proofgeneral-3.4.ebuild, files/50proofgeneral-gentoo.el:
Initial version, related bug's #30394.
|
GitWeb