From 1d5e3c5282bf22aa073cb550bed9e38e42512cfa Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jan=20R=C4=99korajski?= Date: Mon, 16 Feb 2009 13:06:10 +0000 Subject: [PATCH] outdated Changed files: coq-lablgtk26.patch -> 1.2 --- coq-lablgtk26.patch | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 coq-lablgtk26.patch 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 -- 2.43.0