]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a6c386) | patch
Changes to matitaweb.css (dialog boxes).
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Jun 2011 12:57:47 +0000 (12:57 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Jun 2011 12:57:47 +0000 (12:57 +0000)
commit1e3651060915376a1392294c6e7d829af726b4a7
treeedc8b9081e5fa52fd20f40f0d125993ff828d1e9tree | snapshot
parent8a6c3860ac7172b623398d4225c38cbce0d9aedccommit | diff
Changes to matitaweb.css (dialog boxes).
matitaB/matita/matitaweb.css diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.