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

drwxr-xr-x		..
-rw-r--r--	526	PNGnow2.png	blob \| history \| raw
-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--	34839	cie_2007.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--	393	crux_32.png	blob \| history \| raw
-rw-r--r--	1786	globe_trans.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--	2421	lambda_delta.bib	blob \| history \| raw
-rw-r--r--	2421	lambda_delta.txt	blob \| history \| raw
-rw-r--r--	95190	lambda_delta_1.tar.gz	blob \| history \| raw
-rw-r--r--	47924	ld_talk_1s.pdf	blob \| history \| raw
-rw-r--r--	62814	ld_talk_2s.pdf	blob \| history \| raw
-rw-r--r--	51220	ld_talk_3s.pdf	blob \| history \| raw
-rw-r--r--	65374	ld_talk_4s.pdf	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--	1218093	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