]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb9c48a) | patch
More changes to matitaweb.css.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Jun 2011 13:41:05 +0000 (13:41 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Jun 2011 13:41:05 +0000 (13:41 +0000)
commit62422e871a8ad9a1f730b771826d19980281a12f
treee5a0cca33ff5dd0e3322935d98ecb37c5f77b698tree | snapshot
parentbb9c48af6f729b0616a0fc5f1fd9037d4c3f2c89commit | diff
More changes to matitaweb.css.
matitaB/matita/matitaweb.css diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.