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