]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
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...
2001-11-23 Claudio Sacerdoti... Content-type for MathML Content "fixed". Why was it...
2001-11-22 Claudio Sacerdoti... out of sync w.r.t. configuration.ml
2001-11-21 Claudio Sacerdoti... Underlining of hyperlinks removed.
2001-11-21 Claudio Sacerdoti... mkMetaTheoryURL(): param.embedKeys() forgot.
2001-11-19 Stefano ZacchiroliChanged version number to 0.2.1
2001-11-16 Claudio Sacerdoti... BUG FIXED:
2001-11-16 Claudio Sacerdoti... Checks for mlminidom and lablgtk added.
2001-11-16 Claudio Sacerdoti... Some spourious files removed.
2001-11-16 Claudio Sacerdoti... ...
2001-11-16 Claudio Sacerdoti... .cvsignore improved
2001-11-16 Andrea AspertiDisequalities chains for algebra. First draft.
2001-11-15 Claudio Sacerdoti... Distribution improvements.
2001-11-15 Claudio Sacerdoti... Now automatically generated from Makefile.in
2001-11-15 Claudio Sacerdoti... No more used.
2001-11-15 Claudio Sacerdoti... First commit towards the 0.2.8 version.
2001-11-14 Claudio Sacerdoti... Bug fixed
2001-11-14 Claudio Sacerdoti... Bug fixed: $< confused with $^
2001-11-14 Claudio Sacerdoti... missing macro
2001-11-14 Claudio Sacerdoti... HTTP_GETTER_URIS_DBM added
2001-11-14 Claudio Sacerdoti... HTTP_GETTER_SERVERS_FILE introduced
2001-11-14 Stefano ZacchiroliBug fix: changed "prefix" dir in install target.
next