From: Jan Rękorajski <baggins@pld-linux.org>
Date: Mon, 16 Feb 2009 13:06:10 +0000 (+0000)
Subject: outdated
X-Git-Tag: auto/th/coq-8_3pl1-1~18
X-Git-Url: https://git.pld-linux.org/?p=packages%2Fcoq.git;a=commitdiff_plain;h=1d5e3c5282bf22aa073cb550bed9e38e42512cfa

outdated

Changed files:
    coq-lablgtk26.patch -> 1.2
---

diff --git a/coq-lablgtk26.patch b/coq-lablgtk26.patch
deleted file mode 100644
index 2a3e7d9..0000000
--- a/coq-lablgtk26.patch
+++ /dev/null
@@ -1,22 +0,0 @@
---- coq-8.0pl2/ide/undo.mli~	2005-12-10 02:08:33.000000000 +0100
-+++ coq-8.0pl2/ide/undo.mli	2005-12-10 02:27:05.083226000 +0100
-@@ -10,7 +10,7 @@
- 
- (* An undoable view class *)
- 
--class undoable_view : Gtk.text_view Gtk.obj ->
-+class undoable_view : [> Gtk.text_view] Gtk.obj ->
- object
-   inherit GText.view
-   method undo : bool
---- coq-8.0pl2/ide/undo.ml~	2005-12-10 02:25:40.000000000 +0100
-+++ coq-8.0pl2/ide/undo.ml	2005-12-10 02:26:07.331616750 +0100
-@@ -18,7 +18,7 @@
-   | Insert (s,i,l) -> Delete (s,i,l)
-   | Delete (s,i,l) -> Insert (s,i,l)
- 
--class undoable_view (tv:Gtk.text_view Gtk.obj) =
-+class undoable_view (tv:[> Gtk.text_view] Gtk.obj) =
-   let undo_lock = ref true in 
- object(self)
-   inherit GText.view tv as super