]> matita.cs.unibo.it Git - helm.git/commit - helm/mowgli/home/xml/sites/bologna.xml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e461bc9) | patch
* <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
treeb6531c5ef6f29f8689c4a2b5b648607b41039803tree | snapshot
parente461bc9c5f94c8075c4806365e4db495b530f9fccommit | diff
* <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] blob
helm/mowgli/home/xml/consortium.xml diff | blob | history
helm/mowgli/home/xml/home.xml diff | blob | history
helm/mowgli/home/xml/members-index.xml diff | blob | history
helm/mowgli/home/xml/mowgli-events/kick-off.xml diff | blob | history
helm/mowgli/home/xml/mowgli-xhtml1-transitional.dtd [new file with mode: 0644] blob
helm/mowgli/home/xml/other-events.xml diff | blob | history
helm/mowgli/home/xml/people/aei/velden.xml diff | blob | history
helm/mowgli/home/xml/people/person.dtd diff | blob | history
helm/mowgli/home/xml/project-management.xml diff | blob | history
helm/mowgli/home/xml/project-objectives.xml diff | blob | history
helm/mowgli/home/xml/project-summary.xml diff | blob | history
helm/mowgli/home/xml/sites/bologna.xml diff | blob | history
helm/mowgli/home/xml/sites/site.dtd diff | blob | history
helm/mowgli/home/xml/software/index.xml diff | blob | history
helm/mowgli/home/xml/work-packages/distribution.xml diff | blob | history
helm/mowgli/home/xml/work-packages/index.xml diff | blob | history
helm/mowgli/home/xml/work-packages/work-package.dtd diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.