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--	2314	Makefile	blob \| history \| raw
-rw-r--r--	586	config.make	blob \| history \| raw
-rw-r--r--	1752	configure.mk	blob \| history \| raw
-rw-r--r--	2320	gMathView.ml	blob \| history \| raw
-rw-r--r--	3723	gtkMathView.ml	blob \| history \| raw
-rw-r--r--	64	gtk_mathview.ml	blob \| history \| raw
-rw-r--r--	2619	ml_gtk_mathview.c	blob \| history \| raw
drwxr-xr-x	-	test	tree \| history