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

drwxr-xr-x		..
-rw-r--r--	784	automath.sl	blob \| history \| raw
-rw-r--r--	866	b3.png	blob \| history \| raw
-rw-r--r--	865	b4.png	blob \| history \| raw
-rw-r--r--	867	b5.png	blob \| history \| raw
-rw-r--r--	878	b9.png	blob \| history \| raw
-rw-r--r--	587	basic_32.png	blob \| history \| raw
-rw-r--r--	18926	bld.pdf	blob \| history \| raw
-rw-r--r--	289451	cie_2010.pdf	blob \| history \| raw
-rw-r--r--	318	crux_16.ico	blob \| history \| raw
-rw-r--r--	375	crux_32.png	blob \| history \| raw
-rw-r--r--	777	helena.sl	blob \| history \| raw
-rw-r--r--	352491	helena_0.8.0.tar.gz	blob \| history \| raw
-rw-r--r--	252616	helena_0.8.1.tar.gz	blob \| history \| raw
-rw-r--r--	549	helena_32.png	blob \| history \| raw
-rw-r--r--	2346	helena_label.png	blob \| history \| raw
-rw-r--r--	2437	lambda_delta.bib	blob \| history \| raw
-rw-r--r--	2437	lambda_delta.txt	blob \| history \| raw
-rw-r--r--	77357	ld_talk_5s.pdf	blob \| history \| raw
-rw-r--r--	109868	ld_talk_6s.pdf	blob \| history \| raw
-rw-r--r--	78392	ld_talk_7s.pdf	blob \| history \| raw
-rw-r--r--	1228986	lddl.tar.bz2	blob \| history \| raw
-rw-r--r--	18662	rainbow.png	blob \| history \| raw
-rw-r--r--	932	xml_xsl2.png	blob \| history \| raw