* [gentoo-commits] gentoo-x86 commit in app-emacs/proofgeneral/files: proofgeneral-3.5_isabelle-non-interactive.patch
@ 2008-11-17 19:57 Diego Petteno (flameeyes)
0 siblings, 0 replies; 2+ messages in thread
From: Diego Petteno (flameeyes) @ 2008-11-17 19:57 UTC (permalink / raw
To: gentoo-commits
flameeyes 08/11/17 19:57:17
Modified: proofgeneral-3.5_isabelle-non-interactive.patch
Log:
Fix patch to apply.
(Portage version: 2.2_rc14/cvs/Linux 2.6.27-gentoo-r2 x86_64)
Revision Changes Path
1.2 app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch
file : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch?rev=1.2&view=markup
plain: http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch?rev=1.2&content-type=text/plain
diff : http://sources.gentoo.org/viewcvs.py/gentoo-x86/app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch?r1=1.1&r2=1.2
Index: proofgeneral-3.5_isabelle-non-interactive.patch
===================================================================
RCS file: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- proofgeneral-3.5_isabelle-non-interactive.patch 2 Nov 2006 20:23:00 -0000 1.1
+++ proofgeneral-3.5_isabelle-non-interactive.patch 17 Nov 2008 19:57:17 -0000 1.2
@@ -1,5 +1,5 @@
---- /tmp/isabelle-system.el 2006-11-02 21:09:59.000000000 +0100
-+++ isa/isabelle-system.el 2006-11-02 21:10:36.000000000 +0100
+--- a/isa/isabelle-system.el 2006-11-02 21:09:59.000000000 +0100
++++ b/isa/isabelle-system.el 2006-11-02 21:10:36.000000000 +0100
@@ -64,26 +64,6 @@
(defvar isatool-not-found nil
"Non-nil if user has been prompted for `isatool' already and it wasn't found.")
^ permalink raw reply [flat|nested] 2+ messages in thread
* [gentoo-commits] gentoo-x86 commit in app-emacs/proofgeneral/files: proofgeneral-3.5_isabelle-non-interactive.patch
@ 2008-12-06 17:23 Christian Faulhammer (fauli)
0 siblings, 0 replies; 2+ messages in thread
From: Christian Faulhammer (fauli) @ 2008-12-06 17:23 UTC (permalink / raw
To: gentoo-commits
fauli 08/12/06 17:23:50
Removed: proofgeneral-3.5_isabelle-non-interactive.patch
Log:
clean up
(Portage version: 2.1.4.5)
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2008-12-06 17:23 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2008-12-06 17:23 [gentoo-commits] gentoo-x86 commit in app-emacs/proofgeneral/files: proofgeneral-3.5_isabelle-non-interactive.patch Christian Faulhammer (fauli)
-- strict thread matches above, loose matches on Subject: below --
2008-11-17 19:57 Diego Petteno (flameeyes)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox