]> matita.cs.unibo.it Git - helm.git/commit
added last-modified info at the bottom of every page
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 6 Feb 2006 18:22:42 +0000 (18:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 6 Feb 2006 18:22:42 +0000 (18:22 +0000)
commit1f6f7f7f695b602c5b8b51574d7489c0a96898b8
treecb199edaca8dcf92c333d95458b0b03aa239a162
parent9e5aca768e23c9e0b555d3010c924264a1b920d0
added last-modified info at the bottom of every page
helm/www/matita/bottombar.shtml
helm/www/matita/style.css