]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f882f75) | patch
- added publication index
authorLuca Padovani <luca.padovani@unito.it>
Tue, 19 Feb 2002 00:22:26 +0000 (00:22 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 19 Feb 2002 00:22:26 +0000 (00:22 +0000)
commit043dffb651772925787bfcc5570cf05cd41d994a
tree295ad8421adbd8a3f6c9809a617c3f5b8c755d1dtree | snapshot
parentf882f75140898a46bafbeea3520a587cc0dc0767commit | diff
- added publication index
- added software index
- added member area
helm/mowgli/home/html/Makefile diff | blob | history
helm/mowgli/home/templates/menu.html diff | blob | history
helm/mowgli/home/xml/publications/index.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/software/index.xml [new file with mode: 0644] blob
helm/mowgli/home/xsl/publications-index.xsl [new file with mode: 0644] blob
helm/mowgli/home/xsl/xhtml-content.xsl [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.