]> 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-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
2002-02-14 Irene Schena--------------------------------------------------... commit | commitdiff | tree | snapshot
2002-02-14 Claudio Sacerdoti... OMDoc link fixed. commit | commitdiff | tree | snapshot
2002-02-13 Luca Padovanias usual... commit | commitdiff | tree | snapshot
2002-02-13 Luca Padovanipartial implementation of IST logo. Deep pages have... commit | commitdiff | tree | snapshot
2002-02-13 Luca Padovani- install/uninstall targets added commit | commitdiff | tree | snapshot
2002-02-13 Claudio Sacerdoti... More information added. commit | commitdiff | tree | snapshot
2002-02-13 Claudio Sacerdoti... Project Management template added. commit | commitdiff | tree | snapshot
2002-02-13 Claudio Sacerdoti... Bug fixed: the top directory has a different (relative... commit | commitdiff | tree | snapshot
2002-02-13 Claudio Sacerdoti... Qualification now always used before name and surname. commit | commitdiff | tree | snapshot
2002-02-13 Claudio Sacerdoti... More uniform layout. commit | commitdiff | tree | snapshot
2002-02-13 Claudio Sacerdoti... Deliverables are now described in XML. commit | commitdiff | tree | snapshot
2002-02-13 Luca Padovani- more uniform layout commit | commitdiff | tree | snapshot
2002-02-13 Claudio Sacerdoti... Another part of the proposal encoded. commit | commitdiff | tree | snapshot
2002-02-13 Claudio Sacerdoti... Deliverables added. commit | commitdiff | tree | snapshot
2002-02-13 Claudio Sacerdoti... Work-packages DTD improved (tasks now have an identifie... commit | commitdiff | tree | snapshot
2002-02-13 Claudio Sacerdoti... DTD improved (and committed) with new elements "task... commit | commitdiff | tree | snapshot
2002-02-13 Claudio Sacerdoti... Ordered list (ol) replaced by a table to be able to... commit | commitdiff | tree | snapshot
2002-02-13 Claudio Sacerdoti... The Work-Packages index page is no more a static HTML... commit | commitdiff | tree | snapshot
2002-02-13 Claudio Sacerdoti... Hyperlink to the author's MOWLI home page added. commit | commitdiff | tree | snapshot
2002-02-13 Claudio Sacerdoti... Wrong cut & paste from Herbelin's data. commit | commitdiff | tree | snapshot
2002-02-13 Claudio Sacerdoti... * news.xml was not valid. DTD fixed. commit | commitdiff | tree | snapshot
2002-02-13 Luca Padovani*** empty log message *** commit | commitdiff | tree | snapshot
2002-02-13 Luca Padovani- added common stylesheet commit | commitdiff | tree | snapshot
2002-02-12 Claudio Sacerdoti... .cvsignore added where useful commit | commitdiff | tree | snapshot
2002-02-12 Claudio Sacerdoti... Initial commit of the XML/XSLT stuff. commit | commitdiff | tree | snapshot
2002-02-11 Luca Padovanithis is the first commit for the mowgli website. commit | commitdiff | tree | snapshot
2002-02-06 Claudio Sacerdoti... First commit toward 0.3.0. commit | commitdiff | tree | snapshot
2002-02-06 Claudio Sacerdoti... Until Garrigue puts a META file in lablgtk, we can... commit | commitdiff | tree | snapshot
2002-02-05 Claudio Sacerdoti... Due to a syntax error, theories in MathML Presentation... commit | commitdiff | tree | snapshot
2002-02-05 Luca Padovaniporting to gdome2 started commit | commitdiff | tree | snapshot
2002-02-01 Irene Schena--------------------------------------------------... commit | commitdiff | tree | snapshot
2002-01-29 Claudio Sacerdoti... Ported to ocaml-3.04 commit | commitdiff | tree | snapshot
2002-01-29 Claudio Sacerdoti... Ported to ocaml-3.04. commit | commitdiff | tree | snapshot
2002-01-21 Stefano ZacchiroliBug fix: destdir for mlminidom installation is now... commit | commitdiff | tree | snapshot
2002-01-20 Stefano Zacchiroli- Vanity: added .... me to the copyright file as autho... commit | commitdiff | tree | snapshot
2002-01-20 Stefano Zacchiroli- Minor fix: includes upstream changelog only if it... commit | commitdiff | tree | snapshot
2002-01-20 Stefano ZacchiroliAdded "-destdir" argument to "ocamlfind install" in... commit | commitdiff | tree | snapshot
2002-01-20 Stefano ZacchiroliPorted to ocaml 3.04 (fixed problems with commuting... commit | commitdiff | tree | snapshot
2002-01-20 Stefano ZacchiroliUpgraded debian package for mlminidom 0.2.2 commit | commitdiff | tree | snapshot
2002-01-11 Claudio Sacerdoti... There were a big bug in both Fix and CoFix: the recursi... commit | commitdiff | tree | snapshot
2002-01-10 Claudio Sacerdoti... CIC Textual Parser added to the repository. commit | commitdiff | tree | snapshot
2001-12-21 Irene Schena--------------------------------------------------... commit | commitdiff | tree | snapshot
2001-12-13 Irene Schena--------------------------------------------------... commit | commitdiff | tree | snapshot
2001-12-13 Claudio Sacerdoti... Generation of forward metadata using a lexical analyser. commit | commitdiff | tree | snapshot
2001-12-13 Claudio Sacerdoti... The hash-table used in the implementation was of "type" commit | commitdiff | tree | snapshot
2001-12-13 Claudio Sacerdoti... New architecture for the environment. commit | commitdiff | tree | snapshot
2001-12-12 Claudio Sacerdoti... Fixing of guarded_by_constructors completed. commit | commitdiff | tree | snapshot
2001-12-11 Claudio Sacerdoti... PARTIAL COMMIT: commit | commitdiff | tree | snapshot
2001-12-10 Irene Schena--------------------------------------------------... commit | commitdiff | tree | snapshot
2001-12-10 Claudio Sacerdoti... Bug fixed: the strictly_positive condition was unnecess... commit | commitdiff | tree | snapshot
2001-12-07 Claudio Sacerdoti... The typing rule for LetIn was simply wrong. Fixed. commit | commitdiff | tree | snapshot
2001-12-07 Claudio Sacerdoti... Bug partially fixed: the branch of a case of type Prod... commit | commitdiff | tree | snapshot
2001-12-06 Claudio Sacerdoti... Bug fixed: cooking w.r.t. a variable with a body must... commit | commitdiff | tree | snapshot
2001-12-06 Claudio Sacerdoti... It now exits gracefully after an End-of-file. commit | commitdiff | tree | snapshot
2001-12-05 Claudio Sacerdoti... http:/ ==> http:// commit | commitdiff | tree | snapshot
2001-12-05 Claudio Sacerdoti... Very stupid bug fixed: in is_small, I created an enviro... commit | commitdiff | tree | snapshot
2001-12-05 Claudio Sacerdoti... The definition of small inductive types has been relaxe... commit | commitdiff | tree | snapshot
2001-12-05 Claudio Sacerdoti... Debugging code removed to achieve more tail-recursivity. commit | commitdiff | tree | snapshot
2001-12-05 Claudio Sacerdoti... Just code clean-up. commit | commitdiff | tree | snapshot
2001-12-05 Claudio Sacerdoti... Discharging of variables with a body was bugged. Fixed. commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.