]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc57e6f) | patch
Matitaweb: layout change in the matitaweb inteface, in order to allow better
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 9 Sep 2011 13:11:36 +0000 (13:11 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 9 Sep 2011 13:11:36 +0000 (13:11 +0000)
commit4025c3f5b36025380dcad84bb7a97045d08652f6
treeb7ded41ae220d6b31b5757bfc3cb9df281010e93tree | snapshot
parentcc57e6f6528ccc871a4d52d2ce4859c4a76fc0cacommit | diff
Matitaweb: layout change in the matitaweb inteface, in order to allow better
cross-browser compatibility.
matitaB/matita/index.html diff | blob | history
matitaB/matita/matitaweb.css diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.