Matita 0.99.* bug fixed: new alias insertion

[helm.git] / helm / www / matita / FILES / matita-tut.pdf

diff --git a/helm/www/matita/FILES/matita-tut.pdf b/helm/www/matita/FILES/matita-tut.pdf
index bd053b6474a60c5f4a69e050670f2acdc12fb790..17003d36b9d06ee3d30a6d77b822b58703df60e2 100644 (file)
Binary files a/helm/www/matita/FILES/matita-tut.pdf and b/helm/www/matita/FILES/matita-tut.pdf differ