Gentoo Archives: gentoo-commits

From:	"Ulrich Mueller (ulm)" <ulm@g.o>
To:	gentoo-commits@l.g.o
Subject:	[gentoo-commits] gentoo-x86 commit in app-emacs/proofgeneral/files: 50proofgeneral-gentoo.el
Date:	Wed, 27 Feb 2008 21:26:52
Message-Id:	`E1JUTnb-0006Cn-Fe@stork.gentoo.org`

1	ulm 08/02/27 21:26:47
2
3	Modified: 50proofgeneral-gentoo.el
4	Log:
5	Version bump. Properly install site file, fixes bug 211658.
6	(Portage version: 2.1.4.4)
7
8	Revision Changes Path
9	1.3 app-emacs/proofgeneral/files/50proofgeneral-gentoo.el
10
11	file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el?rev=1.3&view=markup
12	plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el?rev=1.3&content-type=text/plain
13	diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el?r1=1.2&r2=1.3
14
15	Index: 50proofgeneral-gentoo.el
16	===================================================================
17	RCS file: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el,v
18	retrieving revision 1.2
19	retrieving revision 1.3
20	diff -u -r1.2 -r1.3
21	--- 50proofgeneral-gentoo.el 8 Mar 2007 07:58:46 -0000 1.2
22	+++ 50proofgeneral-gentoo.el 27 Feb 2008 21:26:46 -0000 1.3
23	@@ -1,4 +1,5 @@
24
25	-;;; Proof General site-lisp configuration
26	+;;; proofgeneral site-lisp configuration
27
28	-(add-to-list 'load-path "@SITELISP@/generic/proof-site.el")
29	+(add-to-list 'load-path "@SITELISP@/generic")
30	+(require 'proof-site)
31
32
33
34	--
35	gentoo-commits@l.g.o mailing list