From: Claudio Sacerdoti Coen Date: Wed, 18 Oct 2006 13:17:10 +0000 (+0000) Subject: Dead dialog window removed. X-Git-Tag: 0.4.95@7852~882 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e292f758f7ee489815603db7ff0b3bba7602ddeb;p=helm.git Dead dialog window removed. --- diff --git a/matita/matitaGuiTypes.mli b/matita/matitaGuiTypes.mli index 6457dc0c8..67d431040 100644 --- a/matita/matitaGuiTypes.mli +++ b/matita/matitaGuiTypes.mli @@ -62,7 +62,6 @@ object method newBrowserWin: unit -> browserWin method newUriDialog: unit -> MatitaGeneratedGui.uriChoiceDialog - method newRecordDialog: unit -> MatitaGeneratedGui.recordChoiceDialog method newConfirmationDialog: unit -> MatitaGeneratedGui.confirmationDialog method newEmptyDialog: unit -> MatitaGeneratedGui.emptyDialog