]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c2a0a21) | patch
A big commit:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Feb 2002 16:09:17 +0000 (16:09 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Feb 2002 16:09:17 +0000 (16:09 +0000)
commite4290a68e5e2d91661b78eb8e33dbe668e054376
tree21bf02613d9eb8bf0b316b1096b44bb8b318a276tree | snapshot
parentc2a0a2181311c892db47e9b618316c5775bf2b3bcommit | diff
A big commit:

1) A serious bug in deadline orderings has been fixed.
2) Events have been splitted (again) into MOWGLI Events and Other Events.
   Both of them have a menu entry.
3) The kick-off MOWGLI Event has been added.
helm/mowgli/home/html/.cvsignore diff | blob | history
helm/mowgli/home/html/Makefile diff | blob | history
helm/mowgli/home/html/mowgli-events/.cvsignore [new file with mode: 0644] blob
helm/mowgli/home/templates/menu.html diff | blob | history
helm/mowgli/home/xml/mowgli-events.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/mowgli-events/kick-off.xml [new file with mode: 0644] blob
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.