From 45420a5e9a763c6b5fdafa261f84d2e2370c8fc0 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 24 Feb 2004 17:33:53 +0000 Subject: [PATCH] added mathitaGui.mli --- helm/mathita/.depend | 7 +++--- helm/mathita/mathitaGui.mli | 47 +++++++++++++++++++++++++++++++++++++ 2 files changed, 51 insertions(+), 3 deletions(-) create mode 100644 helm/mathita/mathitaGui.mli diff --git a/helm/mathita/.depend b/helm/mathita/.depend index 33e1356a1..d322c64f4 100644 --- a/helm/mathita/.depend +++ b/helm/mathita/.depend @@ -2,7 +2,8 @@ mathitaGeneratedGui.cmo: mathitaGeneratedGui.cmi mathitaGeneratedGui.cmx: mathitaGeneratedGui.cmi mathitaGtkMisc.cmo: mathitaGtkMisc.cmi mathitaGtkMisc.cmx: mathitaGtkMisc.cmi -mathitaGui.cmo: mathitaGeneratedGui.cmi mathitaGtkMisc.cmi -mathitaGui.cmx: mathitaGeneratedGui.cmx mathitaGtkMisc.cmx -mathita.cmo: mathitaGui.cmo +mathitaGui.cmo: mathitaGeneratedGui.cmi mathitaGtkMisc.cmi mathitaGui.cmi +mathitaGui.cmx: mathitaGeneratedGui.cmx mathitaGtkMisc.cmx mathitaGui.cmi +mathita.cmo: mathitaGui.cmi mathita.cmx: mathitaGui.cmx +mathitaGui.cmi: mathitaGeneratedGui.cmi diff --git a/helm/mathita/mathitaGui.mli b/helm/mathita/mathitaGui.mli new file mode 100644 index 000000000..0c19204a6 --- /dev/null +++ b/helm/mathita/mathitaGui.mli @@ -0,0 +1,47 @@ +(* Copyright (C) 2004, HELM Team. + * + * This file is part of HELM, an Hypertextual, Electronic + * Library of Mathematics, developed at the Computer Science + * Department, University of Bologna, Italy. + * + * HELM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * HELM is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with HELM; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, + * MA 02111-1307, USA. + * + * For details, see the HELM World-Wide-Web page, + * http://helm.cs.unibo.it/ + *) + +open MathitaGeneratedGui + + (** @param fname name of the Glade file describing the GUI *) +class gui : + string -> + object + + method setQuitCallback : (unit -> unit) -> unit + + (** {2 Access to low-level GTK widgets} *) + + method about : MathitaGeneratedGui.aboutWin + method dialog : MathitaGeneratedGui.genericDialog + method fileSel : MathitaGeneratedGui.fileSelectionWin + method interpChoice : MathitaGeneratedGui.interpChoiceDialog + method main : MathitaGeneratedGui.mainWin + method proof : MathitaGeneratedGui.proofWin + method toolbar : MathitaGeneratedGui.toolBarWin + method uriChoice : MathitaGeneratedGui.uriChoiceDialog + + end + -- 2.39.2