]> matita.cs.unibo.it Git - helm.git/commit
* <I> ==> <em> everywhere
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Feb 2002 14:31:17 +0000 (14:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Feb 2002 14:31:17 +0000 (14:31 +0000)
commit9b149437fe0a9ed59e66cd87590ce6f1aed1ac64
treeb6531c5ef6f29f8689c4a2b5b648607b41039803
parente461bc9c5f94c8075c4806365e4db495b530f9fc
* <I> ==> <em> everywhere
* xml/Makefile added: typing make checks the validity of every .xml file in
  the xml directory
* every XML file now has a DTD. The files that are pure XHTML documents
  use the on-line XHTML 1.0 Transitional DTD.
* A new DTD mowgli-xhtml1-transitional.dtd added. It is an extension of
  the XHTML1 Transitional DTD to allow markup in the MOWGLI namespace.
18 files changed:
helm/mowgli/home/xml/Makefile [new file with mode: 0644]
helm/mowgli/home/xml/consortium.xml
helm/mowgli/home/xml/home.xml
helm/mowgli/home/xml/members-index.xml
helm/mowgli/home/xml/mowgli-events/kick-off.xml
helm/mowgli/home/xml/mowgli-xhtml1-transitional.dtd [new file with mode: 0644]
helm/mowgli/home/xml/other-events.xml
helm/mowgli/home/xml/people/aei/velden.xml
helm/mowgli/home/xml/people/person.dtd
helm/mowgli/home/xml/project-management.xml
helm/mowgli/home/xml/project-objectives.xml
helm/mowgli/home/xml/project-summary.xml
helm/mowgli/home/xml/sites/bologna.xml
helm/mowgli/home/xml/sites/site.dtd
helm/mowgli/home/xml/software/index.xml
helm/mowgli/home/xml/work-packages/distribution.xml
helm/mowgli/home/xml/work-packages/index.xml
helm/mowgli/home/xml/work-packages/work-package.dtd