]> matita.cs.unibo.it Git - helm.git/history - helm/mowgli/home/xml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml /
2002-05-02 Claudio Sacerdoti... * Slides can now also be in XHTML format tree | commitdiff
2002-05-02 Claudio Sacerdoti... New data from DFKI about work-package leaders and PCC... tree | commitdiff
2002-05-02 Claudio Sacerdoti... New data. tree | commitdiff
2002-04-12 Claudio Sacerdoti... * New slides from Saarbrucken tree | commitdiff
2002-04-11 Claudio Sacerdoti... New data. tree | commitdiff
2002-04-10 Claudio Sacerdoti... First MOWGLI paper. Many others will follow. tree | commitdiff
2002-04-10 Claudio Sacerdoti... The first MOWGLI paper. Many many others will follow. tree | commitdiff
2002-03-28 Claudio Sacerdoti... Electra forms added. tree | commitdiff
2002-03-28 Claudio Sacerdoti... The contract is now on-line (but for an excel file... tree | commitdiff
2002-03-22 Claudio Sacerdoti... New MOWGLI member. tree | commitdiff
2002-03-22 Claudio Sacerdoti... New data. tree | commitdiff
2002-03-21 Luca Padovaniframes/no frame switch changed tree | commitdiff
2002-03-21 Claudio Sacerdoti... Links between the versions with and without frames. tree | commitdiff
2002-03-20 Claudio Sacerdoti... New data. tree | commitdiff
2002-03-20 Claudio Sacerdoti... mowgli-adm mailing list created tree | commitdiff
2002-03-20 Claudio Sacerdoti... New MOWGLI member. tree | commitdiff
2002-03-20 Claudio Sacerdoti... * New data tree | commitdiff
2002-03-20 Claudio Sacerdoti... New data. tree | commitdiff
2002-03-20 Claudio Sacerdoti... MOWGLI roles considered in people position tree | commitdiff
2002-03-20 Claudio Sacerdoti... * New MOWGLI members tree | commitdiff
2002-03-20 Claudio Sacerdoti... New data. tree | commitdiff
2002-03-19 Claudio Sacerdoti... New: Minutes of the kick-off tree | commitdiff
2002-03-19 Claudio Sacerdoti... * Some documents were not valid tree | commitdiff
2002-03-18 Claudio Sacerdoti... * Work Package Leaders added (and rendered) tree | commitdiff
2002-03-13 Claudio Sacerdoti... The contract was the proposal!!! tree | commitdiff
2002-03-13 Claudio Sacerdoti... Data refined. tree | commitdiff
2002-03-12 Claudio Sacerdoti... Data refined. tree | commitdiff
2002-03-12 Claudio Sacerdoti... More data. tree | commitdiff
2002-03-12 Claudio Sacerdoti... New data. tree | commitdiff
2002-03-12 Claudio Sacerdoti... New Data (operative commencement date). tree | commitdiff
2002-03-12 Claudio Sacerdoti... New data. tree | commitdiff
2002-03-11 Claudio Sacerdoti... Goguadze added. tree | commitdiff
2002-03-11 Claudio Sacerdoti... Link to Paul's new MOWGLI page added. tree | commitdiff
2002-03-11 Irene SchenaModified Files: tree | commitdiff
2002-03-11 Claudio Sacerdoti... Not well-formed XML. tree | commitdiff
2002-03-11 Claudio Sacerdoti... Paul Libbrecht added. tree | commitdiff
2002-03-11 Irene SchenaModified Files: tree | commitdiff
2002-03-11 Irene SchenaModified Files: tree | commitdiff
2002-03-11 Irene SchenaModified Files: tree | commitdiff
2002-03-11 Claudio Sacerdoti... New data. tree | commitdiff
2002-03-11 Claudio Sacerdoti... Markus Moschner (DFKI) added. tree | commitdiff
2002-03-11 Claudio Sacerdoti... Link to ActiveMath added. tree | commitdiff
2002-03-08 Irene SchenaModified Files: tree | commitdiff
2002-03-08 Irene SchenaModified Files: tree | commitdiff
2002-03-06 Irene SchenaModified Files: tree | commitdiff
2002-03-06 Irene SchenaModified Files: tree | commitdiff
2002-03-06 Claudio Sacerdoti... * New data tree | commitdiff
2002-03-06 Claudio Sacerdoti... Agenda detailed. tree | commitdiff
2002-03-05 Claudio Sacerdoti... Date mistake. tree | commitdiff
2002-03-05 Claudio Sacerdoti... Forgotten links; better link names. tree | commitdiff
2002-03-05 Claudio Sacerdoti... New data (Calculemus) tree | commitdiff
2002-03-04 Irene SchenaModified Files: tree | commitdiff
2002-03-04 Irene SchenaModified Files: tree | commitdiff
2002-03-04 Irene SchenaAdded Files: tree | commitdiff
2002-03-04 Irene SchenaModified Files: tree | commitdiff
2002-03-04 Irene SchenaModified Files: tree | commitdiff
2002-03-01 Claudio Sacerdoti... Name still mispelled ;-| tree | commitdiff
2002-03-01 Irene SchenaModified Files: tree | commitdiff
2002-03-01 Claudio Sacerdoti... Name mispelled. tree | commitdiff
2002-02-27 Claudio Sacerdoti... Mispelled name. tree | commitdiff
2002-02-26 Claudio Sacerdoti... More conferences. tree | commitdiff
2002-02-26 Claudio Sacerdoti... * A new news tree | commitdiff
2002-02-26 Claudio Sacerdoti... Warning definitely removed. tree | commitdiff
2002-02-26 Claudio Sacerdoti... templates/menu.html moved to xml/menu.xml tree | commitdiff
2002-02-26 Claudio Sacerdoti... * non-html stuff that was installed in html/members... tree | commitdiff
2002-02-26 Claudio Sacerdoti... The footer is now generated by xhtml-content.xsl tree | commitdiff
2002-02-25 Claudio Sacerdoti... Great changes in all the stylesheets. Every page is... tree | commitdiff
2002-02-25 Claudio Sacerdoti... * <I> ==> <em> everywhere tree | commitdiff
2002-02-24 Claudio Sacerdoti... More cleanup: the home page is now generated by means... tree | commitdiff
2002-02-22 Claudio Sacerdoti... News updated. tree | commitdiff
2002-02-22 Claudio Sacerdoti... * Notion of future and past events/deadlines introduced. tree | commitdiff
2002-02-22 Claudio Sacerdoti... A big commit: tree | commitdiff
2002-02-22 Claudio Sacerdoti... * "Older news" link added to the first page. tree | commitdiff
2002-02-22 Claudio Sacerdoti... * Fax added. tree | commitdiff
2002-02-22 Claudio Sacerdoti... e-mail address fixed tree | commitdiff
2002-02-21 Claudio Sacerdoti... Missing informations filled in. tree | commitdiff
2002-02-21 Claudio Sacerdoti... Contract added to members area. tree | commitdiff
2002-02-20 Claudio Sacerdoti... M.L. on-line archives are on-line! tree | commitdiff
2002-02-19 Claudio Sacerdoti... The list of persons in the "By Site" ordering is now... tree | commitdiff
2002-02-19 Claudio Sacerdoti... Project Objectives added. tree | commitdiff
2002-02-19 Luca Padovani- removed date from menu (useful?) tree | commitdiff
2002-02-19 Luca Padovanimoved some xml files into xml root directory tree | commitdiff
2002-02-19 Luca Padovanichanged format of content file, now xhtml tree | commitdiff
2002-02-19 Luca Padovanias usual forgot some files (mailing list, members'... tree | commitdiff
2002-02-19 Luca Padovani- added publication index tree | commitdiff
2002-02-16 Luca Padovani- list of people tree | commitdiff
2002-02-15 Claudio Sacerdoti... Many improvements: tree | commitdiff
2002-02-15 Claudio Sacerdoti... A new wonderful page that shows the deadlines ordered... tree | commitdiff
2002-02-15 Claudio Sacerdoti... Events added. tree | commitdiff
2002-02-14 Luca Padovani- main page now generated automatically tree | commitdiff
2002-02-13 Claudio Sacerdoti... Deliverables are now described in XML. tree | commitdiff
2002-02-13 Claudio Sacerdoti... Another part of the proposal encoded. tree | commitdiff
2002-02-13 Claudio Sacerdoti... Deliverables added. tree | commitdiff
2002-02-13 Claudio Sacerdoti... Work-packages DTD improved (tasks now have an identifie... tree | commitdiff
2002-02-13 Claudio Sacerdoti... DTD improved (and committed) with new elements "task... tree | commitdiff
2002-02-13 Claudio Sacerdoti... The Work-Packages index page is no more a static HTML... tree | commitdiff
2002-02-13 Claudio Sacerdoti... Wrong cut & paste from Herbelin's data. tree | commitdiff
2002-02-13 Claudio Sacerdoti... * news.xml was not valid. DTD fixed. tree | commitdiff
2002-02-13 Luca Padovani- added common stylesheet tree | commitdiff
2002-02-12 Claudio Sacerdoti... Initial commit of the XML/XSLT stuff. tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.