]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
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...
2002-01-20 Stefano ZacchiroliPorted to ocaml 3.04 (fixed problems with commuting...
2002-01-20 Stefano ZacchiroliUpgraded debian package for mlminidom 0.2.2
2002-01-11 Claudio Sacerdoti... There were a big bug in both Fix and CoFix: the recursi...
2002-01-10 Claudio Sacerdoti... CIC Textual Parser added to the repository.
2001-12-21 Irene Schena--------------------------------------------------...
2001-12-13 Irene Schena--------------------------------------------------...
2001-12-13 Claudio Sacerdoti... Generation of forward metadata using a lexical analyser.
2001-12-13 Claudio Sacerdoti... The hash-table used in the implementation was of "type"
2001-12-13 Claudio Sacerdoti... New architecture for the environment.
2001-12-12 Claudio Sacerdoti... Fixing of guarded_by_constructors completed.
2001-12-11 Claudio Sacerdoti... PARTIAL COMMIT:
2001-12-10 Irene Schena--------------------------------------------------...
2001-12-10 Claudio Sacerdoti... Bug fixed: the strictly_positive condition was unnecess...
2001-12-07 Claudio Sacerdoti... The typing rule for LetIn was simply wrong. Fixed.
2001-12-07 Claudio Sacerdoti... Bug partially fixed: the branch of a case of type Prod...
2001-12-06 Claudio Sacerdoti... Bug fixed: cooking w.r.t. a variable with a body must...
2001-12-06 Claudio Sacerdoti... It now exits gracefully after an End-of-file.
2001-12-05 Claudio Sacerdoti... http:/ ==> http://
2001-12-05 Claudio Sacerdoti... Very stupid bug fixed: in is_small, I created an enviro...
2001-12-05 Claudio Sacerdoti... The definition of small inductive types has been relaxe...
2001-12-05 Claudio Sacerdoti... Debugging code removed to achieve more tail-recursivity.
2001-12-05 Claudio Sacerdoti... Just code clean-up.
2001-12-05 Claudio Sacerdoti... Discharging of variables with a body was bugged. Fixed.
2001-12-04 Claudio Sacerdoti... * Code improvement: there were two different functions...
2001-12-04 Claudio Sacerdoti... does_not_occur now handles LetIn correctly (i.e. raisin...
2001-12-04 Claudio Sacerdoti... Error reporting improved.
2001-12-04 Claudio Sacerdoti... is_small did not use the environment. Hence the List...
2001-12-04 Claudio Sacerdoti... lift 0 was just a very heavy implementation of the...
2001-12-04 Claudio Sacerdoti... decast must also perform LetIn reduction now.
2001-12-04 Claudio Sacerdoti... ppterm added
2001-12-03 Claudio Sacerdoti... Makefile improved: dependencies from libraries are...
2001-12-03 Irene Schena--------------------------------------------------...
2001-12-03 Claudio Sacerdoti... Dependencies from libraries now checked.
2001-12-03 Claudio Sacerdoti... * Major code cleanup.
2001-12-03 Claudio Sacerdoti... Makefile improved.
2001-12-03 Claudio Sacerdoti... Main code clean-up.
2001-11-30 Claudio Sacerdoti... cicAnnotationHinter.ml* were in the library without...
2001-11-30 Claudio Sacerdoti... cicAnnotationHinter.ml* have no reason to be in the...
2001-11-30 Claudio Sacerdoti... Exception management improved.
2001-11-30 Claudio Sacerdoti... ...
2001-11-30 Claudio Sacerdoti... New implementation of the proof-checker daemon: there...
2001-11-29 Claudio Sacerdoti... CicCooking.init() must now be used to initialize the...
2001-11-29 Claudio Sacerdoti... A .cmo file inside a .cma is linked iff it is reference...
2001-11-29 Claudio Sacerdoti... LetIn reduction (alias zeta-reduction) is now performed...
2001-11-29 Claudio Sacerdoti... LetIn was missing.
2001-11-29 Claudio Sacerdoti... * .mli added where needed
2001-11-28 Claudio Sacerdoti... configure.in now used (just to check that ocaml and...
2001-11-28 Claudio Sacerdoti... META files are now automatically generated from META...
2001-11-27 Claudio Sacerdoti... First version of fix_params into CVS.
2001-11-27 Claudio Sacerdoti... First versione of the proofChecker into CVS.
2001-11-27 Claudio Sacerdoti... param.annotations was yes or NO. It is now yer or no.
2001-11-27 Claudio Sacerdoti... annotations: was yes or NO. It is now yes or no.
2001-11-27 Claudio Sacerdoti... First release of cicAnnotationHelper in CVS.
2001-11-27 Claudio Sacerdoti... .depend must be in the repository
2001-11-27 Claudio Sacerdoti... New implementation using the new HELM OCaml libraries.
2001-11-27 Claudio Sacerdoti... New implementation that uses the new HELM OCaml libraries.
2001-11-27 Claudio Sacerdoti... 1) .cma/.cmxa used to simplify META files.
2001-11-26 Claudio Sacerdoti... .cvsignore and .depend forgot
2001-11-26 Claudio Sacerdoti... HELM OCaml libraries with findlib support.
2001-11-26 Claudio Sacerdoti... initial checkin
2001-11-25 Stefano ZacchiroliReadme for the debianize.helm stuff.
2001-11-25 Stefano ZacchiroliDebianize.helm stuff.
2001-11-25 Stefano ZacchiroliSynced debian dir.
2001-11-25 Stefano ZacchiroliRemoved from debian dir.
2001-11-25 Stefano ZacchiroliSynced debian dir.
2001-11-23 Luca Padovaniadded config.sub and config.guess so that the package...
next