]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1601387) | patch
* non-html stuff that was installed in html/members/contract is now
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 26 Feb 2002 13:51:04 +0000 (13:51 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 26 Feb 2002 13:51:04 +0000 (13:51 +0000)
commitbe56394cb6821b40d444a62e6139ca3719bdb59a
tree7288d4b640693a57285761cc3623c2f5d8c473edtree | snapshot
parent1601387082332d905ecbff23b9c4676eb5bc6f6fcommit | diff
* non-html stuff that was installed in html/members/contract is now
  installed in misc/contract.
* the html dir can now be changed as wished. This allows to have
  both the "with frames" and the "without frames" versions on-line at
  the same time.
* xhtml-content.html can now produce both the version with and without
  frames
helm/mowgli/home/html/Makefile diff | blob | history
helm/mowgli/home/xml/members-index.xml diff | blob | history
helm/mowgli/home/xsl/xhtml-content.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.