From: Claudio Sacerdoti Coen Date: Wed, 18 Oct 2006 13:17:10 +0000 (+0000) Subject: Dead dialog window removed. X-Git-Tag: make_still_working~6741 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=230d29ee2c5b31554c051effe710a9b16078f306;p=helm.git Dead dialog window removed. --- diff --git a/helm/software/matita/matitaGuiTypes.mli b/helm/software/matita/matitaGuiTypes.mli index 6457dc0c8..67d431040 100644 --- a/helm/software/matita/matitaGuiTypes.mli +++ b/helm/software/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