]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b84824b) | patch
* Rendering of publications improved.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Feb 2002 18:23:32 +0000 (18:23 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Feb 2002 18:23:32 +0000 (18:23 +0000)
commitd5ce344524c89c9cd85d9162a083a90b406ed8c5
treeebd82b279d520b94f38ad5cff524641039729273tree | snapshot
parentb84824bb28226c850f2449e94c3c6d0f56f7a531commit | diff
* Rendering of publications improved.
* Small typos fixed.
* Some clean-up.
helm/mowgli/home/html/Makefile diff | blob | history
helm/mowgli/home/templates/home.html.top diff | blob | history
helm/mowgli/home/xsl/common.xsl diff | blob | history
helm/mowgli/home/xsl/person-entry.xsl [deleted file] blob | history
helm/mowgli/home/xsl/person.xsl diff | blob | history
helm/mowgli/home/xsl/publication.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.