]> matita.cs.unibo.it Git - helm.git/shortlog
projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2002-03-12 Claudio Sacerdoti... New Data (operative commencement date). commit | commitdiff | tree | snapshot
2002-03-12 Claudio Sacerdoti... New data. commit | commitdiff | tree | snapshot
2002-03-11 Claudio Sacerdoti... Goguadze added. commit | commitdiff | tree | snapshot
2002-03-11 Claudio Sacerdoti... New sources by Paul Libbrecht. From these sources it... commit | commitdiff | tree | snapshot
2002-03-11 Claudio Sacerdoti... Link to Paul's new MOWGLI page added. commit | commitdiff | tree | snapshot
2002-03-11 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-03-11 Claudio Sacerdoti... Not well-formed XML. commit | commitdiff | tree | snapshot
2002-03-11 Claudio Sacerdoti... Paul Libbrecht added. commit | commitdiff | tree | snapshot
2002-03-11 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-03-11 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-03-11 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-03-11 Claudio Sacerdoti... New data. commit | commitdiff | tree | snapshot
2002-03-11 Claudio Sacerdoti... Markus Moschner (DFKI) added. commit | commitdiff | tree | snapshot
2002-03-11 Claudio Sacerdoti... Markus Moschner (DFKI) added. commit | commitdiff | tree | snapshot
2002-03-11 Claudio Sacerdoti... A much better PDF file contributed by Paul Libbrecht. commit | commitdiff | tree | snapshot
2002-03-11 Claudio Sacerdoti... Link to ActiveMath added. commit | commitdiff | tree | snapshot
2002-03-08 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-03-08 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-03-08 Claudio Sacerdoti... loadDocumentFrom* and saveDocument interface changed commit | commitdiff | tree | snapshot
2002-03-08 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-03-06 Claudio Sacerdoti... -rpath used to record the path to use to search for... commit | commitdiff | tree | snapshot
2002-03-06 Claudio Sacerdoti... The .so file was not moved into the temporary installat... commit | commitdiff | tree | snapshot
2002-03-06 Irene SchenaAdded Files: commit | commitdiff | tree | snapshot
2002-03-06 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-03-06 Claudio Sacerdoti... Dynamic loading of C code enabled. commit | commitdiff | tree | snapshot
2002-03-06 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-03-06 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-03-06 Claudio Sacerdoti... * New data commit | commitdiff | tree | snapshot
2002-03-06 Claudio Sacerdoti... Agenda detailed. commit | commitdiff | tree | snapshot
2002-03-05 Claudio Sacerdoti... Date mistake. commit | commitdiff | tree | snapshot
2002-03-05 Claudio Sacerdoti... Forgotten links; better link names. commit | commitdiff | tree | snapshot
2002-03-05 Claudio Sacerdoti... New data (Calculemus) commit | commitdiff | tree | snapshot
2002-03-04 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-03-04 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-03-04 Irene SchenaAdded Files: commit | commitdiff | tree | snapshot
2002-03-04 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-03-04 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-03-04 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-03-01 Claudio Sacerdoti... Name still mispelled ;-| commit | commitdiff | tree | snapshot
2002-03-01 Irene SchenaModified Files: commit | commitdiff | tree | snapshot
2002-03-01 Claudio Sacerdoti... Name mispelled. commit | commitdiff | tree | snapshot
2002-02-27 Claudio Sacerdoti... lablgnome.cm[x]a added to the META file. commit | commitdiff | tree | snapshot
2002-02-27 Claudio Sacerdoti... * Preliminary porting to ocaml-3.04 and to gdome completed. commit | commitdiff | tree | snapshot
2002-02-27 Claudio Sacerdoti... Mispelled name. commit | commitdiff | tree | snapshot
2002-02-26 Claudio Sacerdoti... More conferences. commit | commitdiff | tree | snapshot
2002-02-26 Claudio Sacerdoti... * A new news commit | commitdiff | tree | snapshot
2002-02-26 Claudio Sacerdoti... Warning definitely removed. commit | commitdiff | tree | snapshot
2002-02-26 Claudio Sacerdoti... Final commit for frames/no-frames versions. commit | commitdiff | tree | snapshot
2002-02-26 Claudio Sacerdoti... templates/menu.html moved to xml/menu.xml commit | commitdiff | tree | snapshot
2002-02-26 Claudio Sacerdoti... * non-html stuff that was installed in html/members... commit | commitdiff | tree | snapshot
2002-02-26 Claudio Sacerdoti... * The footer of home.xml is now generated from xhtml... commit | commitdiff | tree | snapshot
2002-02-26 Claudio Sacerdoti... The footer is now generated by xhtml-content.xsl commit | commitdiff | tree | snapshot
2002-02-26 Claudio Sacerdoti... Avoided some bugs of libxslt. commit | commitdiff | tree | snapshot
2002-02-25 Claudio Sacerdoti... Some code factorization: towards a frame-free site. commit | commitdiff | tree | snapshot
2002-02-25 Claudio Sacerdoti... It was not XHTML valid. commit | commitdiff | tree | snapshot
2002-02-25 Claudio Sacerdoti... Great changes in all the stylesheets. Every page is... commit | commitdiff | tree | snapshot
2002-02-25 Claudio Sacerdoti... * <I> ==> <em> everywhere commit | commitdiff | tree | snapshot
2002-02-25 Claudio Sacerdoti... Some clean-up (unuseful sed removed from Makefile). commit | commitdiff | tree | snapshot
2002-02-24 Claudio Sacerdoti... More cleanup: the home page is now generated by means... commit | commitdiff | tree | snapshot
2002-02-22 Claudio Sacerdoti... * Rendering of publications improved. commit | commitdiff | tree | snapshot
2002-02-22 Claudio Sacerdoti... Warning changed. commit | commitdiff | tree | snapshot
2002-02-22 Claudio Sacerdoti... News updated. commit | commitdiff | tree | snapshot
2002-02-22 Claudio Sacerdoti... * Notion of future and past events/deadlines introduced. commit | commitdiff | tree | snapshot
2002-02-22 Claudio Sacerdoti... A big commit: commit | commitdiff | tree | snapshot
2002-02-22 Claudio Sacerdoti... * "Older news" link added to the first page. commit | commitdiff | tree | snapshot
2002-02-22 Claudio Sacerdoti... * Fax added. commit | commitdiff | tree | snapshot
2002-02-22 Claudio Sacerdoti... e-mail address fixed commit | commitdiff | tree | snapshot
2002-02-21 Claudio Sacerdoti... Missing informations filled in. commit | commitdiff | tree | snapshot
2002-02-21 Claudio Sacerdoti... Contract added to members area. commit | commitdiff | tree | snapshot
2002-02-20 Claudio Sacerdoti... M.L. on-line archives are on-line! commit | commitdiff | tree | snapshot
2002-02-20 Claudio Sacerdoti... Warning moved to a better position to re-balance the... commit | commitdiff | tree | snapshot
2002-02-20 Luca Padovanired warning commit | commitdiff | tree | snapshot
2002-02-19 Claudio Sacerdoti... The list of persons in the "By Site" ordering is now... commit | commitdiff | tree | snapshot
2002-02-19 Claudio Sacerdoti... The list of persons in alphabetical order is now in... commit | commitdiff | tree | snapshot
2002-02-19 Claudio Sacerdoti... Added File arch.gif, generated from .fig by Irene. commit | commitdiff | tree | snapshot
2002-02-19 Claudio Sacerdoti... Project Objectives added. commit | commitdiff | tree | snapshot
2002-02-19 Luca Padovani- removed date from menu (useful?) commit | commitdiff | tree | snapshot
2002-02-19 Luca Padovanimoved some xml files into xml root directory commit | commitdiff | tree | snapshot
2002-02-19 Luca Padovani- renamed some files commit | commitdiff | tree | snapshot
2002-02-19 Claudio Sacerdoti... Broken links fixed somehow. commit | commitdiff | tree | snapshot
2002-02-19 Luca Padovanichanged format of content file, now xhtml commit | commitdiff | tree | snapshot
2002-02-19 Luca Padovaniok, here is the last one commit | commitdiff | tree | snapshot
2002-02-19 Luca Padovanias usual forgot some files (mailing list, members'... commit | commitdiff | tree | snapshot
2002-02-19 Luca Padovani- added publication index commit | commitdiff | tree | snapshot
2002-02-18 Claudio Sacerdoti... Nothing yet pages added to fix broken links. commit | commitdiff | tree | snapshot
2002-02-18 Claudio Sacerdoti... Members area implemented. commit | commitdiff | tree | snapshot
2002-02-18 Luca Padovanihome.html.mid still around in the dependencies: removed commit | commitdiff | tree | snapshot
2002-02-16 Luca Padovaniadded some stylesheets for list of people and sorting commit | commitdiff | tree | snapshot
2002-02-16 Luca Padovani- list of people commit | commitdiff | tree | snapshot
2002-02-15 Claudio Sacerdoti... English errors fixed. commit | commitdiff | tree | snapshot
2002-02-15 Claudio Sacerdoti... English error fixed. commit | commitdiff | tree | snapshot
2002-02-15 Claudio Sacerdoti... Many improvements: commit | commitdiff | tree | snapshot
2002-02-15 Claudio Sacerdoti... Ehhm. Order ==> Sort ;-) commit | commitdiff | tree | snapshot
2002-02-15 Claudio Sacerdoti... A new wonderful page that shows the deadlines ordered... commit | commitdiff | tree | snapshot
2002-02-15 Claudio Sacerdoti... Events added. commit | commitdiff | tree | snapshot
2002-02-15 Claudio Sacerdoti... project_summary.html added, but not linked yet. commit | commitdiff | tree | snapshot
2002-02-15 Luca Padovanitwo column layout. Better or worse? commit | commitdiff | tree | snapshot
2002-02-14 Luca Padovani- main page now generated automatically commit | commitdiff | tree | snapshot
2002-02-14 Claudio Sacerdoti... Rendering of links to composite sites (i.e. aei) is... commit | commitdiff | tree | snapshot
2002-02-14 Claudio Sacerdoti... Fixed broken links to IST images. commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.