matita.cs.unibo.it Git - helm.git/tree - helm/DEVEL/mathml

drwxr-xr-x		..
-rw-r--r--	165	.cvsignore	blob \| history \| raw
-rw-r--r--	546	.log	blob \| history \| raw
-rw-r--r--	76	AUTHORS	blob \| history \| raw
-rw-r--r--	27181	BROWSE	blob \| history \| raw
-rw-r--r--	117	BUGS-GDOME2	blob \| history \| raw
-rw-r--r--	0	ChangeLog	blob \| history \| raw
-rw-r--r--	1008	LICENSE	blob \| history \| raw
-rw-r--r--	486	MODES	blob \| history \| raw
-rw-r--r--	509	Makefile.am	blob \| history \| raw
-rw-r--r--	13542	Makefile.in	blob \| history \| raw
-rw-r--r--	0	NEWS	blob \| history \| raw
-rw-r--r--	4422	PATTERNS	blob \| history \| raw
-rw-r--r--	0	README	blob \| history \| raw
-rw-r--r--	1094	TML.dtd	blob \| history \| raw
-rw-r--r--	7344	configure.ac	blob \| history \| raw
-rw-r--r--	175	dictionary-basic.xml	blob \| history \| raw
-rw-r--r--	275	dictionary-test.xml	blob \| history \| raw
-rw-r--r--	17408	dictionary-tex.xml	blob \| history \| raw
-rw-r--r--	539	dictionary.dtd	blob \| history \| raw
-rw-r--r--	0	editex-config.in	blob \| history \| raw
drwxr-xr-x	-	examples	tree \| history
drwxr-xr-x	-	ocaml	tree \| history
drwxr-xr-x	-	src	tree \| history
drwxr-xr-x	-	test	tree \| history
drwxr-xr-x	-	xsl	tree \| history