First MOWGLI paper. Many others will follow.

The first MOWGLI paper. Many many others will follow.

During the computation of the inner-type of a LAMBDA, the grandfather
was retrieved instead of the father. Fixed.

* Many improvements
* Proofs are now rendered in natural language. The inner-types file is
  store in /public/sacerdot/innertypes and directly retrieved from there.
  We must find a better solution.
* Apply tactic now implemented. It is based on the unification stuff of
  Andrea.

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.