]> 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-01-20 no authorThis commit was manufactured by cvs2svn to create tag mlminidom_0_2_2 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
2001-12-04 Claudio Sacerdoti... * Code improvement: there were two different functions... commit | commitdiff | tree | snapshot
2001-12-04 Claudio Sacerdoti... does_not_occur now handles LetIn correctly (i.e. raisin... commit | commitdiff | tree | snapshot
2001-12-04 Claudio Sacerdoti... Error reporting improved. commit | commitdiff | tree | snapshot
2001-12-04 Claudio Sacerdoti... is_small did not use the environment. Hence the List... commit | commitdiff | tree | snapshot
2001-12-04 Claudio Sacerdoti... lift 0 was just a very heavy implementation of the... commit | commitdiff | tree | snapshot
2001-12-04 Claudio Sacerdoti... decast must also perform LetIn reduction now. commit | commitdiff | tree | snapshot
2001-12-04 Claudio Sacerdoti... ppterm added commit | commitdiff | tree | snapshot
2001-12-03 Claudio Sacerdoti... Makefile improved: dependencies from libraries are... commit | commitdiff | tree | snapshot
2001-12-03 Irene Schena--------------------------------------------------... commit | commitdiff | tree | snapshot
2001-12-03 Claudio Sacerdoti... Dependencies from libraries now checked. commit | commitdiff | tree | snapshot
2001-12-03 Claudio Sacerdoti... * Major code cleanup. commit | commitdiff | tree | snapshot
2001-12-03 Claudio Sacerdoti... Makefile improved. commit | commitdiff | tree | snapshot
2001-12-03 Claudio Sacerdoti... Main code clean-up. commit | commitdiff | tree | snapshot
2001-11-30 Claudio Sacerdoti... cicAnnotationHinter.ml* were in the library without... commit | commitdiff | tree | snapshot
2001-11-30 Claudio Sacerdoti... cicAnnotationHinter.ml* have no reason to be in the... commit | commitdiff | tree | snapshot
2001-11-30 Claudio Sacerdoti... Exception management improved. commit | commitdiff | tree | snapshot
2001-11-30 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2001-11-30 Claudio Sacerdoti... New implementation of the proof-checker daemon: there... commit | commitdiff | tree | snapshot
2001-11-29 Claudio Sacerdoti... CicCooking.init() must now be used to initialize the... commit | commitdiff | tree | snapshot
2001-11-29 Claudio Sacerdoti... A .cmo file inside a .cma is linked iff it is reference... commit | commitdiff | tree | snapshot
2001-11-29 Claudio Sacerdoti... LetIn reduction (alias zeta-reduction) is now performed... commit | commitdiff | tree | snapshot
2001-11-29 Claudio Sacerdoti... LetIn was missing. commit | commitdiff | tree | snapshot
2001-11-29 Claudio Sacerdoti... * .mli added where needed commit | commitdiff | tree | snapshot
2001-11-28 Claudio Sacerdoti... configure.in now used (just to check that ocaml and... commit | commitdiff | tree | snapshot
2001-11-28 Claudio Sacerdoti... META files are now automatically generated from META... commit | commitdiff | tree | snapshot
2001-11-27 Claudio Sacerdoti... First version of fix_params into CVS. commit | commitdiff | tree | snapshot
2001-11-27 Claudio Sacerdoti... First versione of the proofChecker into CVS. commit | commitdiff | tree | snapshot
2001-11-27 Claudio Sacerdoti... param.annotations was yes or NO. It is now yer or no. commit | commitdiff | tree | snapshot
2001-11-27 Claudio Sacerdoti... annotations: was yes or NO. It is now yes or no. commit | commitdiff | tree | snapshot
2001-11-27 Claudio Sacerdoti... First release of cicAnnotationHelper in CVS. commit | commitdiff | tree | snapshot
2001-11-27 Claudio Sacerdoti... .depend must be in the repository commit | commitdiff | tree | snapshot
2001-11-27 Claudio Sacerdoti... New implementation using the new HELM OCaml libraries. commit | commitdiff | tree | snapshot
2001-11-27 Claudio Sacerdoti... New implementation that uses the new HELM OCaml libraries. commit | commitdiff | tree | snapshot
2001-11-27 Claudio Sacerdoti... 1) .cma/.cmxa used to simplify META files. commit | commitdiff | tree | snapshot
2001-11-26 Claudio Sacerdoti... .cvsignore and .depend forgot commit | commitdiff | tree | snapshot
2001-11-26 Claudio Sacerdoti... HELM OCaml libraries with findlib support. commit | commitdiff | tree | snapshot
2001-11-26 Claudio Sacerdoti... initial checkin commit | commitdiff | tree | snapshot
2001-11-25 Stefano ZacchiroliReadme for the debianize.helm stuff. commit | commitdiff | tree | snapshot
2001-11-25 Stefano ZacchiroliDebianize.helm stuff. commit | commitdiff | tree | snapshot
2001-11-25 Stefano ZacchiroliSynced debian dir. commit | commitdiff | tree | snapshot
2001-11-25 Stefano ZacchiroliRemoved from debian dir. commit | commitdiff | tree | snapshot
2001-11-25 Stefano ZacchiroliSynced debian dir. commit | commitdiff | tree | snapshot
2001-11-23 Luca Padovaniadded config.sub and config.guess so that the package... commit | commitdiff | tree | snapshot
2001-11-23 Claudio Sacerdoti... Content-type for MathML Content "fixed". Why was it... commit | commitdiff | tree | snapshot
2001-11-22 Claudio Sacerdoti... out of sync w.r.t. configuration.ml commit | commitdiff | tree | snapshot
2001-11-21 Claudio Sacerdoti... Underlining of hyperlinks removed. commit | commitdiff | tree | snapshot
2001-11-21 Claudio Sacerdoti... mkMetaTheoryURL(): param.embedKeys() forgot. commit | commitdiff | tree | snapshot
2001-11-19 Stefano ZacchiroliChanged version number to 0.2.1 commit | commitdiff | tree | snapshot
2001-11-16 Claudio Sacerdoti... BUG FIXED: commit | commitdiff | tree | snapshot
2001-11-16 Claudio Sacerdoti... Checks for mlminidom and lablgtk added. commit | commitdiff | tree | snapshot
2001-11-16 Claudio Sacerdoti... Some spourious files removed. commit | commitdiff | tree | snapshot
2001-11-16 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2001-11-16 Claudio Sacerdoti... .cvsignore improved commit | commitdiff | tree | snapshot
2001-11-16 Andrea AspertiDisequalities chains for algebra. First draft. commit | commitdiff | tree | snapshot
2001-11-15 Claudio Sacerdoti... Distribution improvements. commit | commitdiff | tree | snapshot
2001-11-15 Claudio Sacerdoti... Now automatically generated from Makefile.in commit | commitdiff | tree | snapshot
2001-11-15 Claudio Sacerdoti... No more used. commit | commitdiff | tree | snapshot
2001-11-15 Claudio Sacerdoti... First commit towards the 0.2.8 version. commit | commitdiff | tree | snapshot
2001-11-14 Claudio Sacerdoti... Bug fixed commit | commitdiff | tree | snapshot
2001-11-14 Claudio Sacerdoti... Bug fixed: $< confused with $^ commit | commitdiff | tree | snapshot
2001-11-14 Claudio Sacerdoti... missing macro commit | commitdiff | tree | snapshot
2001-11-14 Claudio Sacerdoti... HTTP_GETTER_URIS_DBM added commit | commitdiff | tree | snapshot
2001-11-14 Claudio Sacerdoti... HTTP_GETTER_SERVERS_FILE introduced commit | commitdiff | tree | snapshot
2001-11-14 Stefano ZacchiroliBug fix: changed "prefix" dir in install target. commit | commitdiff | tree | snapshot
2001-11-14 Stefano ZacchiroliChanged policy standard version. commit | commitdiff | tree | snapshot
2001-11-14 Stefano ZacchiroliRemoved INSTALL (not needed) and NEWS (0 sized) from... commit | commitdiff | tree | snapshot
2001-11-14 Stefano ZacchiroliRemove template like string that lintian hates. commit | commitdiff | tree | snapshot
2001-11-14 Stefano ZacchiroliSet DH_COMPAT=2 (instead of 1). commit | commitdiff | tree | snapshot
2001-11-14 Stefano ZacchiroliSet section field. Changed maintainer field. commit | commitdiff | tree | snapshot
2001-11-14 Stefano ZacchiroliChanged maintainer field and set section field. commit | commitdiff | tree | snapshot
2001-11-14 Stefano ZacchiroliRemoved temp files from repository. commit | commitdiff | tree | snapshot
2001-11-14 Claudio Sacerdoti... Small improvement. commit | commitdiff | tree | snapshot
2001-11-14 Claudio Sacerdoti... Simplification. commit | commitdiff | tree | snapshot
2001-11-13 Claudio Sacerdoti... 0.0.2 ==> 0.2.0 ;-) commit | commitdiff | tree | snapshot
2001-11-13 Claudio Sacerdoti... - Check for ocamlfind added. commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.