From: Luca Padovani Date: Tue, 28 Nov 2000 09:30:50 +0000 (+0000) Subject: Initial revision X-Git-Tag: nogzip~137 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9ea74741782f16bf84d1581a521b7d3a4e6db0e1;p=helm.git Initial revision --- diff --git a/helm/DEVEL/lablgtk_gtkmathview/.cvsignore b/helm/DEVEL/lablgtk_gtkmathview/.cvsignore new file mode 100644 index 000000000..8e6f4f936 --- /dev/null +++ b/helm/DEVEL/lablgtk_gtkmathview/.cvsignore @@ -0,0 +1 @@ +*.cmi *.cmo *.cmx *.cma *.cmxa test test.opt diff --git a/helm/DEVEL/lablgtk_gtkmathview/.depend b/helm/DEVEL/lablgtk_gtkmathview/.depend new file mode 100644 index 000000000..600449bb8 --- /dev/null +++ b/helm/DEVEL/lablgtk_gtkmathview/.depend @@ -0,0 +1,4 @@ +gMathView.cmo: gtkMathView.cmo gtk_mathview.cmo +gMathView.cmx: gtkMathView.cmx gtk_mathview.cmx +gtkMathView.cmo: gtk_mathview.cmo +gtkMathView.cmx: gtk_mathview.cmx