From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 5 Nov 2018 19:38:52 +0000 (+0100)
Subject: update in basic_2, static_2, web site
X-Git-Tag: make_still_working~270
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3c6ff3987c3cc5e2df03fb76d07697c28c89c0a8;hp=3c6ff3987c3cc5e2df03fb76d07697c28c89c0a8;p=helm.git

update in basic_2, static_2, web site

+ bug fix and first results on cpce
+ crux favicon for web site is now 32x32
+ some auxiliary files for web site committed/rearranged
---