]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
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.
2001-11-14 Stefano ZacchiroliChanged policy standard version.
2001-11-14 Stefano ZacchiroliRemoved INSTALL (not needed) and NEWS (0 sized) from...
2001-11-14 Stefano ZacchiroliRemove template like string that lintian hates.
2001-11-14 Stefano ZacchiroliSet DH_COMPAT=2 (instead of 1).
2001-11-14 Stefano ZacchiroliSet section field. Changed maintainer field.
2001-11-14 Stefano ZacchiroliChanged maintainer field and set section field.
2001-11-14 Stefano ZacchiroliRemoved temp files from repository.
2001-11-14 Claudio Sacerdoti... Small improvement.
2001-11-14 Claudio Sacerdoti... Simplification.
2001-11-13 Claudio Sacerdoti... 0.0.2 ==> 0.2.0 ;-)
2001-11-13 Claudio Sacerdoti... - Check for ocamlfind added.
2001-11-13 Claudio Sacerdoti... Unused variable removed.
2001-11-13 Claudio Sacerdoti... mlminidom 0.0.2 for minidom 0.1.3
next