From: Claudio Sacerdoti Coen Date: Mon, 25 Feb 2002 14:31:17 +0000 (+0000) Subject: * ==> everywhere X-Git-Tag: V_0_3_0_debian_8~275 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9b149437fe0a9ed59e66cd87590ce6f1aed1ac64;p=helm.git * ==> 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. --- diff --git a/helm/mowgli/home/xml/Makefile b/helm/mowgli/home/xml/Makefile new file mode 100644 index 000000000..adf0b5920 --- /dev/null +++ b/helm/mowgli/home/xml/Makefile @@ -0,0 +1,15 @@ +check: + find . -name "*.xml" -exec xmllint -valid -loaddtd -noout {} \; 2> errors + if [ -s errors ] ; \ + then \ + echo ; \ + echo "**************************************************" ; \ + echo "There are validity errors. Check the file \"errors\"" ; \ + echo "**************************************************" ; \ + else \ + rm errors ; \ + echo ; \ + echo "****************************" ; \ + echo "All the documents are valid." ; \ + echo "****************************" ; \ + fi diff --git a/helm/mowgli/home/xml/consortium.xml b/helm/mowgli/home/xml/consortium.xml index 99cd1bea9..c21af1537 100644 --- a/helm/mowgli/home/xml/consortium.xml +++ b/helm/mowgli/home/xml/consortium.xml @@ -5,11 +5,11 @@ - + - - + + @@ -17,6 +17,7 @@ + ]> @@ -114,7 +115,7 @@ information from standard digital repositories by means of a suitable LaTeX-based authoring system will be explored by the Albert Einstein Institute (AEI) in Golm (Germany). AEI publishes a solely - electronic review journal, Living Reviews in Relativity on + electronic review journal, Living Reviews in Relativity on the Web, which provides refereed, regularly updated review articles on all areas of gravitational physics. Since its release in January 1998 the journal has become a primary @@ -184,7 +185,7 @@ evaluation of the code and in accordance with the Common Criteria standard.

A third pilot application is the semantic markup of the Journal - Living Reviews in Relativity published by AEI-Golm, + Living Reviews in Relativity published by AEI-Golm, already mentioned above.

diff --git a/helm/mowgli/home/xml/home.xml b/helm/mowgli/home/xml/home.xml index e784106a1..b5022b0d3 100644 --- a/helm/mowgli/home/xml/home.xml +++ b/helm/mowgli/home/xml/home.xml @@ -1,5 +1,7 @@ + + diff --git a/helm/mowgli/home/xml/members-index.xml b/helm/mowgli/home/xml/members-index.xml index 3d3d80b2e..f54a4a26d 100644 --- a/helm/mowgli/home/xml/members-index.xml +++ b/helm/mowgli/home/xml/members-index.xml @@ -1,5 +1,8 @@ + + Members Area diff --git a/helm/mowgli/home/xml/mowgli-events/kick-off.xml b/helm/mowgli/home/xml/mowgli-events/kick-off.xml index a8eaece6d..d84e120ec 100644 --- a/helm/mowgli/home/xml/mowgli-events/kick-off.xml +++ b/helm/mowgli/home/xml/mowgli-events/kick-off.xml @@ -1,5 +1,8 @@ + + MOWGLI Kick-Off diff --git a/helm/mowgli/home/xml/mowgli-xhtml1-transitional.dtd b/helm/mowgli/home/xml/mowgli-xhtml1-transitional.dtd new file mode 100644 index 000000000..82fc78c9c --- /dev/null +++ b/helm/mowgli/home/xml/mowgli-xhtml1-transitional.dtd @@ -0,0 +1,1223 @@ + + + + + + + +%HTMLlat1; + + +%HTMLsymbol; + + +%HTMLspecial; + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/mowgli/home/xml/other-events.xml b/helm/mowgli/home/xml/other-events.xml index 2a7a00ae5..94632cd06 100644 --- a/helm/mowgli/home/xml/other-events.xml +++ b/helm/mowgli/home/xml/other-events.xml @@ -19,15 +19,15 @@ MKM 2001 + http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001 + First International Workshop on Mathematical Knowledge + Management. Special Issue for Annals of Mathematics and Artificial + Intelligence to appear in Fall 2002 RISC, A-4232 Schloss Hagenberg 20010924 20010926 - http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001 - First International Workshop on Mathematical Knowledge - Management. Special Issue for Annals of Mathematics and Artificial - Intelligence to appear in Fall 2002 Notification of acceptance for the special issue on Annals of Mathematics and Artificial Intelligence. diff --git a/helm/mowgli/home/xml/people/aei/velden.xml b/helm/mowgli/home/xml/people/aei/velden.xml index 185e598c2..7198c480d 100644 --- a/helm/mowgli/home/xml/people/aei/velden.xml +++ b/helm/mowgli/home/xml/people/aei/velden.xml @@ -20,7 +20,7 @@ from Bielefeld University in 1997 after having completed a diploma thesis on Mathematical Relativity at the Max Planck Institute for Gravitational Physics. Since 1998 she has been leading the - editorial team of Living Reviews in Relativity as Managing + editorial team of Living Reviews in Relativity as Managing Editor, organizing the editorial process and supervising the development of software for electronic publishing and journal management.

diff --git a/helm/mowgli/home/xml/people/person.dtd b/helm/mowgli/home/xml/people/person.dtd index 5b47072ea..dd783fad4 100644 --- a/helm/mowgli/home/xml/people/person.dtd +++ b/helm/mowgli/home/xml/people/person.dtd @@ -17,8 +17,8 @@ file CDATA #REQUIRED> - - + + diff --git a/helm/mowgli/home/xml/project-management.xml b/helm/mowgli/home/xml/project-management.xml index a8f57814d..18948fc01 100644 --- a/helm/mowgli/home/xml/project-management.xml +++ b/helm/mowgli/home/xml/project-management.xml @@ -1,5 +1,8 @@ + + Project Management diff --git a/helm/mowgli/home/xml/project-objectives.xml b/helm/mowgli/home/xml/project-objectives.xml index 05522268a..4a26a46c5 100644 --- a/helm/mowgli/home/xml/project-objectives.xml +++ b/helm/mowgli/home/xml/project-objectives.xml @@ -1,5 +1,8 @@ + + Project Objectives diff --git a/helm/mowgli/home/xml/project-summary.xml b/helm/mowgli/home/xml/project-summary.xml index e020a4ec2..89bc026ef 100644 --- a/helm/mowgli/home/xml/project-summary.xml +++ b/helm/mowgli/home/xml/project-summary.xml @@ -1,5 +1,8 @@ + + Project Summary diff --git a/helm/mowgli/home/xml/sites/bologna.xml b/helm/mowgli/home/xml/sites/bologna.xml index b145c49ff..99949fbd6 100644 --- a/helm/mowgli/home/xml/sites/bologna.xml +++ b/helm/mowgli/home/xml/sites/bologna.xml @@ -35,7 +35,7 @@ -

The Hypertextual Electronic Library of Mathematics Project +

The Hypertextual Electronic Library of Mathematics Project is active in Bologna since 1999. Its aim is the development of a suitable technology for the creation and maintenance of a virtual, distributed, hypertextual library of formal mathematical knowledge. As a subsidiary diff --git a/helm/mowgli/home/xml/sites/site.dtd b/helm/mowgli/home/xml/sites/site.dtd index 36a40eeb3..ce43fddc0 100644 --- a/helm/mowgli/home/xml/sites/site.dtd +++ b/helm/mowgli/home/xml/sites/site.dtd @@ -19,10 +19,11 @@ file CDATA #REQUIRED> - - + + diff --git a/helm/mowgli/home/xml/software/index.xml b/helm/mowgli/home/xml/software/index.xml index 2f973b3ca..d9e3bdba1 100644 --- a/helm/mowgli/home/xml/software/index.xml +++ b/helm/mowgli/home/xml/software/index.xml @@ -1,5 +1,16 @@ + + + + + + + + +]> + Software @@ -8,7 +19,7 @@

Software

- Nothing has been released yet. Try later. +

Nothing has been released yet. Try later.



diff --git a/helm/mowgli/home/xml/work-packages/distribution.xml b/helm/mowgli/home/xml/work-packages/distribution.xml index 184856c3f..b3cec0b13 100644 --- a/helm/mowgli/home/xml/work-packages/distribution.xml +++ b/helm/mowgli/home/xml/work-packages/distribution.xml @@ -25,16 +25,16 @@ Architectural Design of the Distribution Model.

The big issue it to find the right compromise between two opposite - requirements: distribution (in the sense of the - Web: few rules, no central authority) and coherence + requirements: distribution (in the sense of the + Web: few rules, no central authority) and coherence (coherence between different copies of a same document and global management of the library as a single rational development). Other architectural problems to be solved are the management of Uniform Resource Identifiers, their mapping to Uniform Resource Locators, and the integration of databases in the distribution model. The final aim is - to have a phisically distributed library with a - single logical view.

+ to have a phisically distributed library with a + single logical view.

Prototype implementation. diff --git a/helm/mowgli/home/xml/work-packages/index.xml b/helm/mowgli/home/xml/work-packages/index.xml index 9d6a5ead9..f032a7d9f 100644 --- a/helm/mowgli/home/xml/work-packages/index.xml +++ b/helm/mowgli/home/xml/work-packages/index.xml @@ -1,11 +1,26 @@ + + + + + + + + + + + + + + + ]> diff --git a/helm/mowgli/home/xml/work-packages/work-package.dtd b/helm/mowgli/home/xml/work-packages/work-package.dtd index 30d218b03..57650a388 100644 --- a/helm/mowgli/home/xml/work-packages/work-package.dtd +++ b/helm/mowgli/home/xml/work-packages/work-package.dtd @@ -34,8 +34,8 @@ - - + +