]> matita.cs.unibo.it Git - helm.git/log
helm.git
22 years agoAdded Build-Depends on t1lib-dev
Stefano Zacchiroli [Tue, 2 Apr 2002 08:14:36 +0000 (08:14 +0000)]
Added Build-Depends on t1lib-dev

22 years agoAdded build-depend on libgdome2-cpp-smart-dev.
Stefano Zacchiroli [Mon, 1 Apr 2002 07:46:03 +0000 (07:46 +0000)]
Added build-depend on libgdome2-cpp-smart-dev.

22 years ago- added some .mli and .ml to the debian package
Stefano Zacchiroli [Sun, 31 Mar 2002 22:34:30 +0000 (22:34 +0000)]
- added some .mli and .ml to the debian package
- added depends on libgdome2-ocaml

22 years agopreparing for 0.1.4
Luca Padovani [Sat, 30 Mar 2002 17:39:21 +0000 (17:39 +0000)]
preparing for 0.1.4

22 years agoadded libxml/ in #includes (see libxml2 ChangeLog)
Luca Padovani [Sat, 30 Mar 2002 17:39:01 +0000 (17:39 +0000)]
added libxml/ in #includes (see libxml2 ChangeLog)

22 years agoerror in check for xml2-config
Luca Padovani [Sat, 30 Mar 2002 17:22:13 +0000 (17:22 +0000)]
error in check for xml2-config

22 years agogMathView.mli added
Claudio Sacerdoti Coen [Fri, 29 Mar 2002 09:54:43 +0000 (09:54 +0000)]
gMathView.mli added

22 years agoElectra forms added.
Claudio Sacerdoti Coen [Thu, 28 Mar 2002 17:03:30 +0000 (17:03 +0000)]
Electra forms added.

22 years agoThe contract is now on-line (but for an excel file still missing).
Claudio Sacerdoti Coen [Thu, 28 Mar 2002 14:48:47 +0000 (14:48 +0000)]
The contract is now on-line (but for an excel file still missing).

22 years ago- Increased debian version to 0.3.0-3
Stefano Zacchiroli [Tue, 26 Mar 2002 18:23:16 +0000 (18:23 +0000)]
- Increased debian version to 0.3.0-3
- Added build depends to latest gmetadom and gtkmathview

22 years agoThe compilation of the test is restored.
Claudio Sacerdoti Coen [Tue, 26 Mar 2002 16:06:23 +0000 (16:06 +0000)]
The compilation of the test is restored.
It didn't compile any more due to a different behaviour of gcc on woody.

22 years agoLinks to the version with frames fixed.
Claudio Sacerdoti Coen [Mon, 25 Mar 2002 12:24:05 +0000 (12:24 +0000)]
Links to the version with frames fixed.

22 years agoRendering improved.
Claudio Sacerdoti Coen [Fri, 22 Mar 2002 13:53:21 +0000 (13:53 +0000)]
Rendering improved.

22 years agoRendering improved.
Claudio Sacerdoti Coen [Fri, 22 Mar 2002 13:45:53 +0000 (13:45 +0000)]
Rendering improved.

22 years agoNew MOWGLI member.
Claudio Sacerdoti Coen [Fri, 22 Mar 2002 13:26:09 +0000 (13:26 +0000)]
New MOWGLI member.

22 years agoNew data.
Claudio Sacerdoti Coen [Fri, 22 Mar 2002 13:25:58 +0000 (13:25 +0000)]
New data.

22 years agoLayout improved.
Claudio Sacerdoti Coen [Fri, 22 Mar 2002 13:25:19 +0000 (13:25 +0000)]
Layout improved.

22 years agoframes/no frame switch changed
Luca Padovani [Thu, 21 Mar 2002 20:44:20 +0000 (20:44 +0000)]
frames/no frame switch changed

22 years agoLinks between the versions with and without frames.
Claudio Sacerdoti Coen [Thu, 21 Mar 2002 18:45:49 +0000 (18:45 +0000)]
Links between the versions with and without frames.

22 years agoNew data.
Claudio Sacerdoti Coen [Wed, 20 Mar 2002 17:39:33 +0000 (17:39 +0000)]
New data.

22 years agomowgli-adm mailing list created
Claudio Sacerdoti Coen [Wed, 20 Mar 2002 15:11:43 +0000 (15:11 +0000)]
mowgli-adm mailing list created

22 years agoNew MOWGLI member.
Claudio Sacerdoti Coen [Wed, 20 Mar 2002 15:00:03 +0000 (15:00 +0000)]
New MOWGLI member.

22 years ago* New data
Claudio Sacerdoti Coen [Wed, 20 Mar 2002 14:59:39 +0000 (14:59 +0000)]
* New data
* New members

22 years agoNew data.
Claudio Sacerdoti Coen [Wed, 20 Mar 2002 14:22:56 +0000 (14:22 +0000)]
New data.

22 years agoMOWGLI roles considered in people position
Claudio Sacerdoti Coen [Wed, 20 Mar 2002 12:45:55 +0000 (12:45 +0000)]
MOWGLI roles considered in people position

22 years ago* New MOWGLI members
Claudio Sacerdoti Coen [Wed, 20 Mar 2002 12:18:06 +0000 (12:18 +0000)]
* New MOWGLI members
* New: summary of the MOWGLI kick-off on-line

22 years agoNew data.
Claudio Sacerdoti Coen [Wed, 20 Mar 2002 10:18:47 +0000 (10:18 +0000)]
New data.

22 years agoNew: Minutes of the kick-off
Claudio Sacerdoti Coen [Tue, 19 Mar 2002 18:53:31 +0000 (18:53 +0000)]
New: Minutes of the kick-off

22 years agoPeople in the "by site" list are now sorted alphabetically.
Claudio Sacerdoti Coen [Tue, 19 Mar 2002 17:53:54 +0000 (17:53 +0000)]
People in the "by site" list are now sorted alphabetically.

22 years ago* Some documents were not valid
Claudio Sacerdoti Coen [Tue, 19 Mar 2002 17:35:23 +0000 (17:35 +0000)]
* Some documents were not valid
* Project Leaders added to every package
* New data in project-management

22 years ago* Work Package Leaders added (and rendered)
Claudio Sacerdoti Coen [Mon, 18 Mar 2002 18:49:28 +0000 (18:49 +0000)]
* Work Package Leaders added (and rendered)
* Rendering of Work Packages improved

22 years agoAdded build dep on libgdome2-dev
Stefano Zacchiroli [Fri, 15 Mar 2002 12:25:08 +0000 (12:25 +0000)]
Added build dep on libgdome2-dev

22 years agoDebian changes for version 0.3.0 of lablgtkmathview.
Stefano Zacchiroli [Wed, 13 Mar 2002 23:20:21 +0000 (23:20 +0000)]
Debian changes for version 0.3.0 of lablgtkmathview.
Major changes:
- split shared library package
- debian native package, diff.gz is no longer needed

22 years agoThe contract was the proposal!!!
Claudio Sacerdoti Coen [Wed, 13 Mar 2002 18:43:35 +0000 (18:43 +0000)]
The contract was the proposal!!!

22 years agoData refined.
Claudio Sacerdoti Coen [Wed, 13 Mar 2002 10:24:18 +0000 (10:24 +0000)]
Data refined.

22 years agoInitial version.
Claudio Sacerdoti Coen [Tue, 12 Mar 2002 18:03:32 +0000 (18:03 +0000)]
Initial version.

22 years ago* Linking was still static for native compilation.
Claudio Sacerdoti Coen [Tue, 12 Mar 2002 17:41:44 +0000 (17:41 +0000)]
* Linking was still static for native compilation.
* Automatic compilation of the test in native mode can no more be performed
  because the dynamic library is always searched in the position where
  it will be installed ;-(

22 years agoData refined.
Claudio Sacerdoti Coen [Tue, 12 Mar 2002 15:45:15 +0000 (15:45 +0000)]
Data refined.

22 years agoMore data.
Claudio Sacerdoti Coen [Tue, 12 Mar 2002 11:46:45 +0000 (11:46 +0000)]
More data.

22 years agoNew data.
Claudio Sacerdoti Coen [Tue, 12 Mar 2002 10:35:03 +0000 (10:35 +0000)]
New data.

22 years agoNew Data (operative commencement date).
Claudio Sacerdoti Coen [Tue, 12 Mar 2002 10:28:39 +0000 (10:28 +0000)]
New Data (operative commencement date).

22 years agoNew data.
Claudio Sacerdoti Coen [Tue, 12 Mar 2002 10:18:55 +0000 (10:18 +0000)]
New data.

22 years agoGoguadze added.
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 18:02:34 +0000 (18:02 +0000)]
Goguadze added.

22 years agoNew sources by Paul Libbrecht. From these sources it is possible to
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 16:05:17 +0000 (16:05 +0000)]
New sources by Paul Libbrecht. From these sources it is possible to
produce both a nice PDF file and the PS document.

22 years agoLink to Paul's new MOWGLI page added.
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 15:51:47 +0000 (15:51 +0000)]
Link to Paul's new MOWGLI page added.

22 years agoModified Files:
Irene Schena [Mon, 11 Mar 2002 15:51:08 +0000 (15:51 +0000)]
Modified Files:
1) dfki.xml: added member

22 years agoNot well-formed XML.
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 15:44:36 +0000 (15:44 +0000)]
Not well-formed XML.

22 years agoPaul Libbrecht added.
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 15:36:15 +0000 (15:36 +0000)]
Paul Libbrecht added.

22 years agoModified Files:
Irene Schena [Mon, 11 Mar 2002 14:39:53 +0000 (14:39 +0000)]
Modified Files:
1) html/Makefile html/proposal/.cvsignore xml/home.xml
   xml/menu.xml xml/project.xml xml/proposal/EC-contribution.xml
   xml/proposal/contribution.xml
   xml/proposal/econ-scient-tech-prospects.xml
   xml/proposal/innovation.xml
   xml/proposal/project-components.xml
   xml/proposal/project-management.xml
   xml/proposal/project-objectives.xml
   xml/proposal/project-planning.xml
   xml/proposal/project-summary.xml xsl/project.xsl: now the proposal index is
   in project.xml that is linked in the Project Menu
Removed Files:
1) xml/proposal/proposal-index.xml: now is in project.xml

22 years agoModified Files:
Irene Schena [Mon, 11 Mar 2002 13:21:25 +0000 (13:21 +0000)]
Modified Files:
1) xml/sites/aei.xml xml/sites/dfki.xml xml/sites/nijmegen.xml
   xml/sites/trusted-logic.xml xsl/site.xsl: added site members info

22 years agoModified Files:
Irene Schena [Mon, 11 Mar 2002 12:01:51 +0000 (12:01 +0000)]
Modified Files:
1) xml/home.xml xml/proposal/EC-contribution.xml
   xml/proposal/contribution.xml
   xml/proposal/econ-scient-tech-prospects.xml
   xml/proposal/innovation.xml
   xml/proposal/project-components.xml
   xml/proposal/project-management.xml
   xml/proposal/project-objectives.xml
   xml/proposal/project-planning.xml
   xml/proposal/project-summary.xml xml/sites/dfki.xml: bugs fixed

22 years agoNew data.
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 11:27:38 +0000 (11:27 +0000)]
New data.

22 years agoMarkus Moschner (DFKI) added.
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 11:27:03 +0000 (11:27 +0000)]
Markus Moschner (DFKI) added.

22 years agoMarkus Moschner (DFKI) added.
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 11:21:53 +0000 (11:21 +0000)]
Markus Moschner (DFKI) added.

22 years agoA much better PDF file contributed by Paul Libbrecht.
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 11:00:47 +0000 (11:00 +0000)]
A much better PDF file contributed by Paul Libbrecht.

22 years agoLink to ActiveMath added.
Claudio Sacerdoti Coen [Mon, 11 Mar 2002 11:00:16 +0000 (11:00 +0000)]
Link to ActiveMath added.

22 years agoModified Files:
Irene Schena [Fri, 8 Mar 2002 16:40:51 +0000 (16:40 +0000)]
Modified Files:
1) sites/dfki.xml sites/nijmegen.xml: errors fixed

22 years agoModified Files:
Irene Schena [Fri, 8 Mar 2002 16:15:40 +0000 (16:15 +0000)]
Modified Files:
1) asperti.xml guidi.xml padovani.xml sacerdoti.xml schena.xml: info updated

22 years agoloadDocumentFrom* and saveDocument interface changed
Claudio Sacerdoti Coen [Fri, 8 Mar 2002 12:19:13 +0000 (12:19 +0000)]
loadDocumentFrom* and saveDocument interface changed

22 years agoModified Files:
Irene Schena [Fri, 8 Mar 2002 12:03:40 +0000 (12:03 +0000)]
Modified Files:
1) pert_new.png: added resolution

22 years ago-rpath used to record the path to use to search for dynamic libraries
Claudio Sacerdoti Coen [Wed, 6 Mar 2002 18:14:53 +0000 (18:14 +0000)]
-rpath used to record the path to use to search for dynamic libraries
which are not in LD_LIBRARY_PATH. (In our case, all the dynamic libraries
of the bindings this one depends on.)

22 years agoThe .so file was not moved into the temporary installation directory.
Claudio Sacerdoti Coen [Wed, 6 Mar 2002 17:20:23 +0000 (17:20 +0000)]
The .so file was not moved into the temporary installation directory.

22 years agoAdded Files:
Irene Schena [Wed, 6 Mar 2002 16:59:06 +0000 (16:59 +0000)]
Added Files:
1) NextArrow.gif PreviousArrow.gif: arrows for next and prev pages

22 years agoModified Files:
Irene Schena [Wed, 6 Mar 2002 16:57:11 +0000 (16:57 +0000)]
Modified Files:
1) html/Makefile html/proposal/.cvsignore
   xml/proposal/EC-contribution.xml xml/proposal/contribution.xml
   xml/proposal/econ-scient-tech-prospects.xml
   xml/proposal/innovation.xml
   xml/proposal/project-management.xml
   xml/proposal/project-objectives.xml
   xml/proposal/project-summary.xml
   xml/proposal/proposal-index.xml: added links to pages and new pages
Added Files:
1) images/gantt_new.png images/pert_new.png
   xml/proposal/project-components.xml
   xml/proposal/project-planning.xml: added two pages with images to the
   mowgli proposal

22 years agoDynamic loading of C code enabled.
Claudio Sacerdoti Coen [Wed, 6 Mar 2002 15:35:45 +0000 (15:35 +0000)]
Dynamic loading of C code enabled.

22 years agoModified Files:
Irene Schena [Wed, 6 Mar 2002 14:40:16 +0000 (14:40 +0000)]
Modified Files:
1) html/.cvsignore html/Makefile xml/home.xml xml/menu.xml: new menu item for
   mowgli proposal
2) xml/news.xml: error fixed
Added Files:
1) html/proposal/.cvsignore
2) xml/proposal/EC-contribution.xml
   xml/proposal/contribution.xml
   xml/proposal/econ-scient-tech-prospects.xml
   xml/proposal/innovation.xml
   xml/proposal/project-management.xml
   xml/proposal/project-objectives.xml
   xml/proposal/project-summary.xml   : files moved in the new dir proposal/
3) xml/proposal/proposal-index.xml: index of mowgli proposal
Removed Files:
1) xml/EC-contribution.xml xml/contribution.xml
   xml/econ-scient-tech-prospects.xml xml/innovation.xml
   xml/project-management.xml xml/project-objectives.xml
   xml/project-summary.xml

22 years agoModified Files:
Irene Schena [Wed, 6 Mar 2002 11:27:12 +0000 (11:27 +0000)]
Modified Files:
1) link.xsl mmlctop.xsl-0.14 mmlextension.xsl mmlnotation.xsl: removed redundant namespace prefix m: of the MML xref attribute

22 years ago* New data
Claudio Sacerdoti Coen [Wed, 6 Mar 2002 10:12:22 +0000 (10:12 +0000)]
* New data
* <date>s of the news are now numerical

22 years agoAgenda detailed.
Claudio Sacerdoti Coen [Wed, 6 Mar 2002 10:11:51 +0000 (10:11 +0000)]
Agenda detailed.

22 years agoDate mistake.
Claudio Sacerdoti Coen [Tue, 5 Mar 2002 10:52:58 +0000 (10:52 +0000)]
Date mistake.

22 years agoForgotten links; better link names.
Claudio Sacerdoti Coen [Tue, 5 Mar 2002 10:10:20 +0000 (10:10 +0000)]
Forgotten links; better link names.

22 years agoNew data (Calculemus)
Claudio Sacerdoti Coen [Tue, 5 Mar 2002 10:09:20 +0000 (10:09 +0000)]
New data (Calculemus)

22 years agoModified Files:
Irene Schena [Mon, 4 Mar 2002 16:05:57 +0000 (16:05 +0000)]
Modified Files:
1) home/html/.cvsignore home/html/Makefile: added chapter 8 of mowgli proposal
Added Files:
1) home/xml/econ-scient-tech-prospects.xml: chapter 8 of mowgli proposal

22 years agoModified Files:
Irene Schena [Mon, 4 Mar 2002 15:39:55 +0000 (15:39 +0000)]
Modified Files:
1) home/html/.cvsignore home/html/Makefile home/xml/home.xml: added chapters 6 e 7
   mowgli proposal
Added Files:
1) home/xml/EC-contribution.xml: chapters 6 e 7 mowgli proposal

22 years agoAdded Files:
Irene Schena [Mon, 4 Mar 2002 14:50:02 +0000 (14:50 +0000)]
Added Files:
1) innovation.xml: chapter 5 mowgli proposal

22 years agoModified Files:
Irene Schena [Mon, 4 Mar 2002 14:48:43 +0000 (14:48 +0000)]
Modified Files:
1) home/html/.cvsignore home/html/Makefile home/xml/home.xml: added chapter 5
   mowgli proposal
2) home/html/publications/others/.cvsignore home/xml/publications/index.xml
   home/xml/publications/others/publication.dtdi: added biblio references
Added Files:
1) home/images/logo.png home/xml/publications/others/cc.xml
   home/xml/publications/others/cup_hp91.xml
   home/xml/publications/others/cup_hp93.xml
   home/xml/publications/others/w3c_bl98.xml: image and biblio references

22 years agoModified Files:
Irene Schena [Mon, 4 Mar 2002 11:25:21 +0000 (11:25 +0000)]
Modified Files:
1) home/html/.cvsignore

22 years agoModified Files:
Irene Schena [Mon, 4 Mar 2002 11:23:19 +0000 (11:23 +0000)]
Modified Files:
1) home/html/Makefile home/xml/home.xml: added chapter 4 mowgli proposal
2) home/xml/project-objectives.xml: error fixed
Added Files:
1) home/images/arch.png: new image
2) home/xml/contribution.xml: chapter 4 mowgli proposal
Removed Files:
1) home/images/arch.gif: old image

22 years agoName still mispelled ;-|
Claudio Sacerdoti Coen [Fri, 1 Mar 2002 14:26:19 +0000 (14:26 +0000)]
Name still mispelled ;-|

22 years agoModified Files:
Irene Schena [Fri, 1 Mar 2002 12:49:54 +0000 (12:49 +0000)]
Modified Files:
1) home/xml/people/index.xml home/xsl/people-list.xsl: added order to sites
   (chapter 3 of mowgli proposal)

22 years agoName mispelled.
Claudio Sacerdoti Coen [Fri, 1 Mar 2002 12:41:35 +0000 (12:41 +0000)]
Name mispelled.

22 years agolablgnome.cm[x]a added to the META file.
Claudio Sacerdoti Coen [Wed, 27 Feb 2002 14:10:46 +0000 (14:10 +0000)]
lablgnome.cm[x]a added to the META file.

22 years ago* Preliminary porting to ocaml-3.04 and to gdome completed.
Claudio Sacerdoti Coen [Wed, 27 Feb 2002 13:55:10 +0000 (13:55 +0000)]
* Preliminary porting to ocaml-3.04 and to gdome completed.

22 years agoMispelled name.
Claudio Sacerdoti Coen [Wed, 27 Feb 2002 10:06:57 +0000 (10:06 +0000)]
Mispelled name.

22 years agoMore conferences.
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 18:15:18 +0000 (18:15 +0000)]
More conferences.

22 years ago* A new news
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 16:36:26 +0000 (16:36 +0000)]
* A new news
* links now allowed inside news

22 years agoWarning definitely removed.
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 16:35:53 +0000 (16:35 +0000)]
Warning definitely removed.

22 years agoFinal commit for frames/no-frames versions.
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 16:04:04 +0000 (16:04 +0000)]
Final commit for frames/no-frames versions.

1) You can now compile (and install!) the two versions together
   typing make FRAMES=x" twice.
2) The default index.html is a patched copy of html_yes_frames/index.html
   when FRAMES=yes and is not there when FRAMES=no. [I don't know what
   to put there in this case! ;-(]

The only variable that must be set in the Makefile is the destination
directory.

Question: what should we do now? Keep only one of the two versions?
Keep both of them and add a first page in which the user can choose
the version he prefers? Put a link from one version to the other
and keep one as the default?

22 years agotemplates/menu.html moved to xml/menu.xml
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 15:25:09 +0000 (15:25 +0000)]
templates/menu.html moved to xml/menu.xml
(it is processed when no frames are used)

22 years ago* non-html stuff that was installed in html/members/contract is now
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 13:51:04 +0000 (13:51 +0000)]
* 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

22 years ago* The footer of home.xml is now generated from xhtml-content.xsl
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 10:30:34 +0000 (10:30 +0000)]
* The footer of home.xml is now generated from xhtml-content.xsl
* We are almost ready for the no-frame version.

22 years agoThe footer is now generated by xhtml-content.xsl
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 10:29:13 +0000 (10:29 +0000)]
The footer is now generated by xhtml-content.xsl

22 years agoAvoided some bugs of libxslt.
Claudio Sacerdoti Coen [Tue, 26 Feb 2002 10:28:15 +0000 (10:28 +0000)]
Avoided some bugs of libxslt.

22 years agoSome code factorization: towards a frame-free site.
Claudio Sacerdoti Coen [Mon, 25 Feb 2002 16:36:08 +0000 (16:36 +0000)]
Some code factorization: towards a frame-free site.

22 years agoIt was not XHTML valid.
Claudio Sacerdoti Coen [Mon, 25 Feb 2002 15:59:53 +0000 (15:59 +0000)]
It was not XHTML valid.

22 years agoGreat changes in all the stylesheets. Every page is now generated in two
Claudio Sacerdoti Coen [Mon, 25 Feb 2002 15:47:02 +0000 (15:47 +0000)]
Great changes in all the stylesheets. Every page is now generated in two
phases:

1) A stylesheet from XML to XHTML that generates the page.
   This stylesheet no more bothers with the layout of the page w.r.t. the
   rest of the site (i.e. it doesn't add the link to CSS; it doesn't call
   the head and foot templates)
2) A common stylesheet from XHTML to HTML that just adds the header, footer
   and CSS link to the page.

The idea is that in this way it is easier to change the overall layout of
the site (e.g. removing frames). Moreover, less code is required.

Problem: xsltproc is too intelligent (= rather stupid), so that it
recognises XHTML pages and fails in applying the stylesheet. So, in the
Makefile, care (= sed) must be taken to remove the DOCTYPE definitions
from XHTML files.

22 years ago* <I> ==> <em> everywhere
Claudio Sacerdoti Coen [Mon, 25 Feb 2002 14:31:17 +0000 (14:31 +0000)]
* <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.

22 years agoSome clean-up (unuseful sed removed from Makefile).
Claudio Sacerdoti Coen [Mon, 25 Feb 2002 10:42:44 +0000 (10:42 +0000)]
Some clean-up (unuseful sed removed from Makefile).

22 years agoMore cleanup: the home page is now generated by means of XSLT only.
Claudio Sacerdoti Coen [Sun, 24 Feb 2002 14:36:50 +0000 (14:36 +0000)]
More cleanup: the home page is now generated by means of XSLT only.
(i.e. no more cat ... >> $@)

22 years ago* Rendering of publications improved.
Claudio Sacerdoti Coen [Fri, 22 Feb 2002 18:23:32 +0000 (18:23 +0000)]
* Rendering of publications improved.
* Small typos fixed.
* Some clean-up.