]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
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... lablgnome.cm[x]a added to the META file.
2002-02-27 Claudio Sacerdoti... * Preliminary porting to ocaml-3.04 and to gdome completed.
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...
2002-02-19 Claudio Sacerdoti... The list of persons in alphabetical order is now in...
2002-02-19 Claudio Sacerdoti... Added File arch.gif, generated from .fig by Irene.
2002-02-19 Claudio Sacerdoti... Project Objectives added.
2002-02-19 Luca Padovani- removed date from menu (useful?)
2002-02-19 Luca Padovanimoved some xml files into xml root directory
2002-02-19 Luca Padovani- renamed some files
2002-02-19 Claudio Sacerdoti... Broken links fixed somehow.
2002-02-19 Luca Padovanichanged format of content file, now xhtml
2002-02-19 Luca Padovaniok, here is the last one
2002-02-19 Luca Padovanias usual forgot some files (mailing list, members'...
2002-02-19 Luca Padovani- added publication index
2002-02-18 Claudio Sacerdoti... Nothing yet pages added to fix broken links.
2002-02-18 Claudio Sacerdoti... Members area implemented.
2002-02-18 Luca Padovanihome.html.mid still around in the dependencies: removed
2002-02-16 Luca Padovaniadded some stylesheets for list of people and sorting
2002-02-16 Luca Padovani- list of people
2002-02-15 Claudio Sacerdoti... English errors fixed.
2002-02-15 Claudio Sacerdoti... English error fixed.
2002-02-15 Claudio Sacerdoti... Many improvements:
2002-02-15 Claudio Sacerdoti... Ehhm. Order ==> Sort ;-)
2002-02-15 Claudio Sacerdoti... A new wonderful page that shows the deadlines ordered...
2002-02-15 Claudio Sacerdoti... Events added.
2002-02-15 Claudio Sacerdoti... project_summary.html added, but not linked yet.
2002-02-15 Luca Padovanitwo column layout. Better or worse?
2002-02-14 Luca Padovani- main page now generated automatically
2002-02-14 Claudio Sacerdoti... Rendering of links to composite sites (i.e. aei) is...
2002-02-14 Claudio Sacerdoti... Fixed broken links to IST images.
2002-02-14 Irene Schena--------------------------------------------------...
2002-02-14 Claudio Sacerdoti... OMDoc link fixed.
2002-02-13 Luca Padovanias usual...
2002-02-13 Luca Padovanipartial implementation of IST logo. Deep pages have...
2002-02-13 Luca Padovani- install/uninstall targets added
2002-02-13 Claudio Sacerdoti... More information added.
2002-02-13 Claudio Sacerdoti... Project Management template added.
2002-02-13 Claudio Sacerdoti... Bug fixed: the top directory has a different (relative...
2002-02-13 Claudio Sacerdoti... Qualification now always used before name and surname.
2002-02-13 Claudio Sacerdoti... More uniform layout.
2002-02-13 Claudio Sacerdoti... Deliverables are now described in XML.
2002-02-13 Luca Padovani- more uniform layout
2002-02-13 Claudio Sacerdoti... Another part of the proposal encoded.
2002-02-13 Claudio Sacerdoti... Deliverables added.
2002-02-13 Claudio Sacerdoti... Work-packages DTD improved (tasks now have an identifie...
2002-02-13 Claudio Sacerdoti... DTD improved (and committed) with new elements "task...
2002-02-13 Claudio Sacerdoti... Ordered list (ol) replaced by a table to be able to...
2002-02-13 Claudio Sacerdoti... The Work-Packages index page is no more a static HTML...
2002-02-13 Claudio Sacerdoti... Hyperlink to the author's MOWLI home page added.
2002-02-13 Claudio Sacerdoti... Wrong cut & paste from Herbelin's data.
2002-02-13 Claudio Sacerdoti... * news.xml was not valid. DTD fixed.
2002-02-13 Luca Padovani*** empty log message ***
2002-02-13 Luca Padovani- added common stylesheet
2002-02-12 Claudio Sacerdoti... .cvsignore added where useful
2002-02-12 Claudio Sacerdoti... Initial commit of the XML/XSLT stuff.
2002-02-11 Luca Padovanithis is the first commit for the mowgli website.
2002-02-06 Claudio Sacerdoti... First commit toward 0.3.0.
2002-02-06 Claudio Sacerdoti... Until Garrigue puts a META file in lablgtk, we can...
2002-02-05 Claudio Sacerdoti... Due to a syntax error, theories in MathML Presentation...
2002-02-05 Luca Padovaniporting to gdome2 started
2002-02-01 Irene Schena--------------------------------------------------...
2002-01-29 Claudio Sacerdoti... Ported to ocaml-3.04
2002-01-29 Claudio Sacerdoti... Ported to ocaml-3.04.
2002-01-21 Stefano ZacchiroliBug fix: destdir for mlminidom installation is now...
2002-01-20 Stefano Zacchiroli- Vanity: added .... me to the copyright file as autho...
2002-01-20 Stefano Zacchiroli- Minor fix: includes upstream changelog only if it...
2002-01-20 Stefano ZacchiroliAdded "-destdir" argument to "ocamlfind install" in...
next