matita.cs.unibo.it Git - helm.git/tree - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829

drwxr-xr-x		..
-rw-r--r--	168	.depend	blob \| history \| raw
-rw-r--r--	403	COPYING	blob \| history \| raw
-rw-r--r--	2280	Makefile	blob \| history \| raw
-rw-r--r--	516	config.make	blob \| history \| raw
-rw-r--r--	1641	configure.mk	blob \| history \| raw
-rw-r--r--	1687	gMathView.ml	blob \| history \| raw
-rw-r--r--	2250	gtkMathView.ml	blob \| history \| raw
-rw-r--r--	64	gtk_mathview.ml	blob \| history \| raw
-rw-r--r--	1862	ml_gtk_mathview.c	blob \| history \| raw
drwxr-xr-x	-	test	tree \| history