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