]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 777b5d9) | patch
Many improvements:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Feb 2002 14:37:10 +0000 (14:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 15 Feb 2002 14:37:10 +0000 (14:37 +0000)
commit76a430af65b9569655f00a19f6ba8485c5c9c11d
tree54a627899d189e82ef9d21506711836b4e2a4207tree | snapshot
parent777b5d9152df9a37814c7b53327b4d3f3c6a6b6dcommit | diff
Many improvements:

1) a print_interval template has been put in common.xsl
2) events are now sorted by starting date
3) colors are used to differentiate between submissions, notifications,
   and so on. Is this an improvement? ;-|
helm/mowgli/home/xml/other-events.xml diff | blob | history
helm/mowgli/home/xsl/common.xsl diff | blob | history
helm/mowgli/home/xsl/deadlines.xsl diff | blob | history
helm/mowgli/home/xsl/events.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.