Declaration and Definition renamed to Decl and Def because
Definition was already defined in the DTD.

Sequent rendering improved: "=======" replaced by a single solid line

1) Sequent object added.
2) Current Proof and META rendering improved.

* Many improvements.
* Intros and Exact are now implemented.
* Inner sorts are now generated and used.
* Perforation of the proof is now implemented.

First commit of our future proof-assistant/proof-improver (???)
This commit is based on some un-committed changes to our libraries. So,
it won't compile out-of-the-box.

Added Build-Depends on t1lib-dev

Added build-depend on libgdome2-cpp-smart-dev.

- added some .mli and .ml to the debian package
- added depends on libgdome2-ocaml

preparing for 0.1.4

added libxml/ in #includes (see libxml2 ChangeLog)

error in check for xml2-config

gMathView.mli added

Electra forms added.

The contract is now on-line (but for an excel file still missing).

- Increased debian version to 0.3.0-3
- Added build depends to latest gmetadom and gtkmathview

The compilation of the test is restored.
It didn't compile any more due to a different behaviour of gcc on woody.

Links to the version with frames fixed.

Rendering improved.

Rendering improved.

New MOWGLI member.

New data.

Layout improved.

frames/no frame switch changed

Links between the versions with and without frames.

New data.

mowgli-adm mailing list created

New MOWGLI member.

* New data
* New members

New data.

MOWGLI roles considered in people position

* New MOWGLI members
* New: summary of the MOWGLI kick-off on-line

New data.

New: Minutes of the kick-off

People in the "by site" list are now sorted alphabetically.

* Some documents were not valid
* Project Leaders added to every package
* New data in project-management

* Work Package Leaders added (and rendered)
* Rendering of Work Packages improved

Added build dep on libgdome2-dev

Debian changes for version 0.3.0 of lablgtkmathview.
Major changes:
- split shared library package
- debian native package, diff.gz is no longer needed

The contract was the proposal!!!

Data refined.

Initial version.

* 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 ;-(

Data refined.

More data.

New data.

New Data (operative commencement date).

New data.

Goguadze added.

New sources by Paul Libbrecht. From these sources it is possible to
produce both a nice PDF file and the PS document.

Link to Paul's new MOWGLI page added.

Modified Files:
1) dfki.xml: added member

Not well-formed XML.

Paul Libbrecht added.

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

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

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

New data.

Markus Moschner (DFKI) added.

Markus Moschner (DFKI) added.

A much better PDF file contributed by Paul Libbrecht.

Link to ActiveMath added.

Modified Files:
1) sites/dfki.xml sites/nijmegen.xml: errors fixed

Modified Files:
1) asperti.xml guidi.xml padovani.xml sacerdoti.xml schena.xml: info updated

loadDocumentFrom* and saveDocument interface changed

Modified Files:
1) pert_new.png: added resolution

-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.)

The .so file was not moved into the temporary installation directory.

Added Files:
1) NextArrow.gif PreviousArrow.gif: arrows for next and prev pages

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

Dynamic loading of C code enabled.

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

Modified Files:
1) link.xsl mmlctop.xsl-0.14 mmlextension.xsl mmlnotation.xsl: removed redundant namespace prefix m: of the MML xref attribute

* New data
* <date>s of the news are now numerical

Agenda detailed.

Date mistake.

Forgotten links; better link names.

New data (Calculemus)

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

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

Added Files:
1) innovation.xml: chapter 5 mowgli proposal

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

Modified Files:
1) home/html/.cvsignore

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

Name still mispelled ;-|

Modified Files:
1) home/xml/people/index.xml home/xsl/people-list.xsl: added order to sites
   (chapter 3 of mowgli proposal)

Name mispelled.

lablgnome.cm[x]a added to the META file.

* Preliminary porting to ocaml-3.04 and to gdome completed.

Mispelled name.

More conferences.

* A new news
* links now allowed inside news

Warning definitely removed.

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?

templates/menu.html moved to xml/menu.xml
(it is processed when no frames are used)

* 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

* The footer of home.xml is now generated from xhtml-content.xsl
* We are almost ready for the no-frame version.

The footer is now generated by xhtml-content.xsl

Avoided some bugs of libxslt.

Some code factorization: towards a frame-free site.

It was not XHTML valid.