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

drwxr-xr-x		..
-rw-r--r--	5877829	matita-0.5.8.orig.tar.gz	blob \| history \| raw
-rw-r--r--	5483189	matita-0.5.9.tar.gz	blob \| history \| raw
-rw-r--r--	942350336	matita-0.99.1.iso	blob \| history \| raw
-rw-r--r--	2630835	matita-0.99.1.tar.gz	blob \| history \| raw
-rw-r--r--	1228370	matita-doc_0.5.9_all.deb	blob \| history \| raw
-rw-r--r--	19783	matita-ex.pdf	blob \| history \| raw
-rw-r--r--	133590	matita-tut.pdf	blob \| history \| raw
-rw-r--r--	2126362	matita_0.5.0.orig.tar.gz	blob \| history \| raw
-rw-r--r--	1917721	matita_0.5.1.orig.tar.gz	blob \| history \| raw
-rw-r--r--	1923611	matita_0.5.2.orig.tar.gz	blob \| history \| raw
-rw-r--r--	1933149	matita_0.5.3.orig.tar.gz	blob \| history \| raw
-rw-r--r--	1986045	matita_0.5.4.orig.tar.gz	blob \| history \| raw
-rw-r--r--	2008994	matita_0.5.5.orig.tar.gz	blob \| history \| raw
-rw-r--r--	3873237	matita_0.5.6.orig.tar.gz	blob \| history \| raw
-rw-r--r--	3645283	matita_0.5.7.orig.tar.gz	blob \| history \| raw
-rw-r--r--	7072246	matita_0.5.9_amd64.deb	blob \| history \| raw
-rw-r--r--	2630835	matita_0.99.1.orig.tar.gz	blob \| history \| raw