]> matita.cs.unibo.it Git - helm.git/commit
web site update
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Thu, 6 Dec 2018 22:33:27 +0000 (23:33 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Thu, 6 Dec 2018 22:33:27 +0000 (23:33 +0100)
commit13f26fb386bcf970cb24d9e59d28dac2484c5ce0
tree787d58dc5ba4062adcc977e4901eba731daed6de
parentde553cff0ce5babd88e402fe0a588f7adcd8909f
web site update

+ one css file improved
helm/www/lambdadelta/css/martha.css