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

drwxr-xr-x		..
-rw-r--r--	43	.cvsignore	blob \| history \| raw
-rw-r--r--	168	.depend	blob \| history \| raw
-rw-r--r--	403	COPYING	blob \| history \| raw
-rw-r--r--	2598	Makefile	blob \| history \| raw
-rw-r--r--	1953	configure.mk	blob \| history \| raw
-rw-r--r--	3046	gMathView.ml	blob \| history \| raw
-rw-r--r--	4861	gtkMathView.ml	blob \| history \| raw
-rw-r--r--	64	gtk_mathview.ml	blob \| history \| raw
drwxr-xr-x	-	minidom	tree \| history
-rw-r--r--	4691	ml_gtk_mathview.c	blob \| history \| raw
drwxr-xr-x	-	test	tree \| history