]> matita.cs.unibo.it Git - helm.git/commit
web site update
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Sat, 1 Dec 2018 19:18:50 +0000 (20:18 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Sat, 1 Dec 2018 19:18:50 +0000 (20:18 +0100)
commitde553cff0ce5babd88e402fe0a588f7adcd8909f
tree96e7119f003edc1efd7f6b853dea396245b17c6e
parentbaa054dbb476c30576bf11b81246008a7de53462
web site update

additions in a css file
helm/www/lambdadelta/css/martha.css