]> matita.cs.unibo.it Git - helm.git/history - helm/mowgli/home
ignore Makefile, Makefile.in
[helm.git] / helm / mowgli / home /
2002-05-02 Claudio Sacerdoti... * Slides can now also be in XHTML format
2002-05-02 Claudio Sacerdoti... New data from DFKI about work-package leaders and PCC...
2002-05-02 Claudio Sacerdoti... New data.
2002-04-12 Claudio Sacerdoti... * New slides from Saarbrucken
2002-04-11 Claudio Sacerdoti... New data.
2002-04-10 Claudio Sacerdoti... First MOWGLI paper. Many others will follow.
2002-04-10 Claudio Sacerdoti... The first MOWGLI paper. Many many others will follow.
2002-03-28 Claudio Sacerdoti... Electra forms added.
2002-03-28 Claudio Sacerdoti... The contract is now on-line (but for an excel file...
2002-03-25 Claudio Sacerdoti... Links to the version with frames fixed.
2002-03-22 Claudio Sacerdoti... Rendering improved.
2002-03-22 Claudio Sacerdoti... Rendering improved.
2002-03-22 Claudio Sacerdoti... New MOWGLI member.
2002-03-22 Claudio Sacerdoti... New data.
2002-03-22 Claudio Sacerdoti... Layout improved.
2002-03-21 Luca Padovaniframes/no frame switch changed
2002-03-21 Claudio Sacerdoti... Links between the versions with and without frames.
2002-03-20 Claudio Sacerdoti... New data.
2002-03-20 Claudio Sacerdoti... mowgli-adm mailing list created
2002-03-20 Claudio Sacerdoti... New MOWGLI member.
2002-03-20 Claudio Sacerdoti... * New data
2002-03-20 Claudio Sacerdoti... New data.
2002-03-20 Claudio Sacerdoti... MOWGLI roles considered in people position
2002-03-20 Claudio Sacerdoti... * New MOWGLI members
2002-03-20 Claudio Sacerdoti... New data.
2002-03-19 Claudio Sacerdoti... New: Minutes of the kick-off
2002-03-19 Claudio Sacerdoti... People in the "by site" list are now sorted alphabetically.
2002-03-19 Claudio Sacerdoti... * Some documents were not valid
2002-03-18 Claudio Sacerdoti... * Work Package Leaders added (and rendered)
2002-03-13 Claudio Sacerdoti... The contract was the proposal!!!
2002-03-13 Claudio Sacerdoti... Data refined.
2002-03-12 Claudio Sacerdoti... Data refined.
2002-03-12 Claudio Sacerdoti... More data.
2002-03-12 Claudio Sacerdoti... New data.
2002-03-12 Claudio Sacerdoti... New Data (operative commencement date).
2002-03-12 Claudio Sacerdoti... New data.
2002-03-11 Claudio Sacerdoti... Goguadze added.
2002-03-11 Claudio Sacerdoti... New sources by Paul Libbrecht. From these sources it...
2002-03-11 Claudio Sacerdoti... Link to Paul's new MOWGLI page added.
2002-03-11 Irene SchenaModified Files:
2002-03-11 Claudio Sacerdoti... Not well-formed XML.
2002-03-11 Claudio Sacerdoti... Paul Libbrecht added.
2002-03-11 Irene SchenaModified Files:
2002-03-11 Irene SchenaModified Files:
2002-03-11 Irene SchenaModified Files:
2002-03-11 Claudio Sacerdoti... New data.
2002-03-11 Claudio Sacerdoti... Markus Moschner (DFKI) added.
2002-03-11 Claudio Sacerdoti... Markus Moschner (DFKI) added.
2002-03-11 Claudio Sacerdoti... A much better PDF file contributed by Paul Libbrecht.
2002-03-11 Claudio Sacerdoti... Link to ActiveMath added.
2002-03-08 Irene SchenaModified Files:
2002-03-08 Irene SchenaModified Files:
2002-03-08 Irene SchenaModified Files:
2002-03-06 Irene SchenaAdded Files:
2002-03-06 Irene SchenaModified Files:
2002-03-06 Irene SchenaModified Files:
2002-03-06 Claudio Sacerdoti... * New data
2002-03-06 Claudio Sacerdoti... Agenda detailed.
2002-03-05 Claudio Sacerdoti... Date mistake.
2002-03-05 Claudio Sacerdoti... Forgotten links; better link names.
2002-03-05 Claudio Sacerdoti... New data (Calculemus)
2002-03-04 Irene SchenaModified Files:
2002-03-04 Irene SchenaModified Files:
2002-03-04 Irene SchenaAdded Files:
2002-03-04 Irene SchenaModified Files:
2002-03-04 Irene SchenaModified Files:
2002-03-04 Irene SchenaModified Files:
2002-03-01 Claudio Sacerdoti... Name still mispelled ;-|
2002-03-01 Irene SchenaModified Files:
2002-03-01 Claudio Sacerdoti... Name mispelled.
2002-02-27 Claudio Sacerdoti... Mispelled name.
2002-02-26 Claudio Sacerdoti... More conferences.
2002-02-26 Claudio Sacerdoti... * A new news
2002-02-26 Claudio Sacerdoti... Warning definitely removed.
2002-02-26 Claudio Sacerdoti... Final commit for frames/no-frames versions.
2002-02-26 Claudio Sacerdoti... templates/menu.html moved to xml/menu.xml
2002-02-26 Claudio Sacerdoti... * non-html stuff that was installed in html/members...
2002-02-26 Claudio Sacerdoti... * The footer of home.xml is now generated from xhtml...
2002-02-26 Claudio Sacerdoti... The footer is now generated by xhtml-content.xsl
2002-02-26 Claudio Sacerdoti... Avoided some bugs of libxslt.
2002-02-25 Claudio Sacerdoti... Some code factorization: towards a frame-free site.
2002-02-25 Claudio Sacerdoti... It was not XHTML valid.
2002-02-25 Claudio Sacerdoti... Great changes in all the stylesheets. Every page is...
2002-02-25 Claudio Sacerdoti... * <I> ==> <em> everywhere
2002-02-25 Claudio Sacerdoti... Some clean-up (unuseful sed removed from Makefile).
2002-02-24 Claudio Sacerdoti... More cleanup: the home page is now generated by means...
2002-02-22 Claudio Sacerdoti... * Rendering of publications improved.
2002-02-22 Claudio Sacerdoti... Warning changed.
2002-02-22 Claudio Sacerdoti... News updated.
2002-02-22 Claudio Sacerdoti... * Notion of future and past events/deadlines introduced.
2002-02-22 Claudio Sacerdoti... A big commit:
2002-02-22 Claudio Sacerdoti... * "Older news" link added to the first page.
2002-02-22 Claudio Sacerdoti... * Fax added.
2002-02-22 Claudio Sacerdoti... e-mail address fixed
2002-02-21 Claudio Sacerdoti... Missing informations filled in.
2002-02-21 Claudio Sacerdoti... Contract added to members area.
2002-02-20 Claudio Sacerdoti... M.L. on-line archives are on-line!
2002-02-20 Claudio Sacerdoti... Warning moved to a better position to re-balance the...
2002-02-20 Luca Padovanired warning
2002-02-19 Claudio Sacerdoti... The list of persons in the "By Site" ordering is now...
next