]> matita.cs.unibo.it Git - helm.git/history - matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Bug fixed: composite coercions were not extracted.
[helm.git] / matita /
2013-02-27 Claudio Sacerdoti... Bug fixed: composite coercions were not extracted. tree | commitdiff
2013-02-27 Claudio Sacerdoti... Bug fixed that reveals a new one: in case of inductive... tree | commitdiff
2013-02-27 Claudio Sacerdoti... Ferruccio's removal of objects commented out because... tree | commitdiff
2013-02-27 Andrea AspertiChapter 1 revisited tree | commitdiff
2013-02-25 Ferruccio Guidiwhen we serialize the contents of a .ma, we remove... tree | commitdiff
2013-02-24 Ferruccio Guidi- nUri : added Sets of uris for use in "probe" tree | commitdiff
2013-02-22 Ferruccio Guidi- "big tree" order implemented tree | commitdiff
2013-02-18 Ferruccio Guiditrace added in a failing invocation of auto :-( tree | commitdiff
2013-02-18 Ferruccio Guidisubstitution lemma for stratified native validity! tree | commitdiff
2013-02-15 Ferruccio Guidiwe rephrased sstas in terms of star tree | commitdiff
2013-02-15 Ferruccio Guidiwe reformulate the extended computation to simplify... tree | commitdiff
2013-02-13 Ferruccio Guidi- first piece of the mutual induction for preservation... tree | commitdiff
2013-02-11 Ferruccio Guidimore service lemmas in nat and lambdadelta tree | commitdiff
2013-02-07 Ferruccio Guidieven more service lemmas ... tree | commitdiff
2013-02-07 Andrea AspertiA few integrations tree | commitdiff
2013-02-07 Andrea Aspertirestructuring tree | commitdiff
2013-02-07 Andrea Asperti(no commit message) tree | commitdiff
2013-02-07 Andrea Aspertirestructuring tree | commitdiff
2013-02-06 Ferruccio Guidi- lambdadelta: more service lemmas ... tree | commitdiff
2013-02-05 Ferruccio Guidisome missing files ... tree | commitdiff
2013-02-05 Claudio Sacerdoti... Bug fixed: .ml/.mli files were opened/closed even when... tree | commitdiff
2013-02-04 Claudio Sacerdoti... Bug fixed: "open X" were not printed in .mli because... tree | commitdiff
2013-02-04 Claudio Sacerdoti... Flushing needed before closing the channel. tree | commitdiff
2013-02-04 Claudio Sacerdoti... Improved exception handling. tree | commitdiff
2013-02-04 Claudio Sacerdoti... Bug fixed in pretty printing of mutual inductive types. tree | commitdiff
2013-02-04 Claudio Sacerdoti... Bug fixed: the indty can be typed with a Prod, not... tree | commitdiff
2013-02-04 Claudio Sacerdoti... New option -extract_ocaml to extract to ocaml files. tree | commitdiff
2013-02-04 Claudio Sacerdoti... Pretty printing of ocaml files slightly improved. tree | commitdiff
2013-02-04 Claudio Sacerdoti... Last known bug unrelated to names fixed: a fixpoint... tree | commitdiff
2013-02-04 Wilmer Ricciottistate mte2 renamed to mte_acc tree | commitdiff
2013-02-04 Wilmer Ricciotticonverting certain basic machines to composed machines tree | commitdiff
2013-02-04 Wilmer Ricciottidefs.ma was never really used tree | commitdiff
2013-02-02 Claudio Sacerdoti... Makefile to extract to ocaml code. tree | commitdiff
2013-02-02 Claudio Sacerdoti... Oops, part of last commit (ocaml extraction implementation) tree | commitdiff
2013-02-02 Claudio Sacerdoti... Ooops, this completes the previous commit (ocaml extrac... tree | commitdiff
2013-02-02 Claudio Sacerdoti... Implementation of Ocaml extraction (largely ported... tree | commitdiff
2013-02-02 Claudio Sacerdoti... Identity change, improves readability. tree | commitdiff
2013-02-01 Ferruccio Guidilambda finaly moved in lib tree | commitdiff
2013-02-01 Wilmer Ricciottimatch now only uses the new move operation tree | commitdiff
2013-02-01 Ferruccio Guidi- ng_refiner: tree | commitdiff
2013-01-29 Wilmer RicciottiSpeed-up in match.ma. tree | commitdiff
2013-01-29 Wilmer RicciottiProved old axiom. tree | commitdiff
2013-01-29 Wilmer RicciottiYippeee! Completes proof of soundness of the universal... tree | commitdiff
2013-01-28 Andrea Aspertiunistep!!! tree | commitdiff
2013-01-28 Ferruccio Guidi- notation change for weight functions (following lambda) tree | commitdiff
2013-01-28 Andrea Aspertifunzioni ausiliarie tree | commitdiff
2013-01-28 Wilmer Ricciotticfg_in_table_to_tuple tree | commitdiff
2013-01-28 Wilmer Ricciottisem_copy_strict tree | commitdiff
2013-01-27 Wilmer Ricciottimany axioms and daemons removed tree | commitdiff
2013-01-27 Andrea Aspertiquasi finito tree | commitdiff
2013-01-27 Wilmer Ricciottiwell-foundedness done tree | commitdiff
2013-01-27 Andrea Aspertisem_exec_move completed tree | commitdiff
2013-01-27 Andrea Aspertialmost there tree | commitdiff
2013-01-26 Andrea AspertiA lot of changes tree | commitdiff
2013-01-25 Andrea AspertiSplitted unistep_aux tree | commitdiff
2013-01-25 Wilmer Ricciottistarted unistep tree | commitdiff
2013-01-25 Wilmer Ricciottiprogress in termination tree | commitdiff
2013-01-25 Ferruccio Guidi- paths and left residuals: forth case of the equivalen... tree | commitdiff
2013-01-24 Wilmer Ricciottifinished semantics for termination of match machine tree | commitdiff
2013-01-24 Wilmer Ricciottiprogress tree | commitdiff
2013-01-24 Wilmer Ricciottiprogress tree | commitdiff
2013-01-23 Ferruccio Guidi- paths and left residuals: third case of the equivalen... tree | commitdiff
2013-01-23 Wilmer Ricciottiprogress tree | commitdiff
2013-01-22 Andrea Aspertitermination! tree | commitdiff
2013-01-22 Andrea AspertiUniversal machine tree | commitdiff
2013-01-22 Wilmer RicciottiRemoved all axioms in unistep_aux tree | commitdiff
2013-01-21 Wilmer Ricciottiremoved daemons tree | commitdiff
2013-01-21 Andrea Aspertiuniversal tree | commitdiff
2013-01-21 Wilmer Ricciottitape_move_obj completed (modulo daemons) tree | commitdiff
2013-01-21 Wilmer Ricciotticfg_to_obj completed (modulo daemons) tree | commitdiff
2013-01-21 Wilmer Ricciottiprogress tree | commitdiff
2013-01-20 Andrea Aspertisemantics of unistep tree | commitdiff
2013-01-18 Ferruccio Guidi- paths and left residuals: second case of the equivale... tree | commitdiff
2013-01-18 Wilmer Ricciottiprogress in cfg_to_obj tree | commitdiff
2013-01-18 Andrea Asperticopy char form obj to cfg at the end tree | commitdiff
2013-01-18 Andrea Aspertihigh level semantics tree | commitdiff
2013-01-18 Andrea Aspertihigh level semantics tree | commitdiff
2013-01-18 Andrea Aspertisemantics of uni_step tree | commitdiff
2013-01-17 Wilmer Ricciottiprogress tree | commitdiff
2013-01-17 Wilmer Ricciottiprogress tree | commitdiff
2013-01-17 Wilmer Ricciottiprogress tree | commitdiff
2013-01-17 Wilmer Ricciottiprogress tree | commitdiff
2013-01-17 Wilmer Ricciottiprogress tree | commitdiff
2013-01-17 Andrea AspertiMoved a list comparison function in the list file tree | commitdiff
2013-01-17 Andrea Aspertinormal and tuples tree | commitdiff
2013-01-16 Ferruccio Guidi- paths and left residuals: first case of the equivalen... tree | commitdiff
2013-01-16 Wilmer Ricciottiadded null character to the alphabet tree | commitdiff
2013-01-16 Wilmer Ricciottiprogress tree | commitdiff
2013-01-15 Ferruccio Guidi- some additions and renaming ... tree | commitdiff
2013-01-15 Wilmer Ricciottiprogress in unistep_aux tree | commitdiff
2013-01-15 Wilmer Ricciottiunistep_aux tree | commitdiff
2013-01-15 Wilmer Ricciottimore unistep tree | commitdiff
2013-01-15 Wilmer Ricciottiunistep_aux tree | commitdiff
2013-01-15 Andrea Asperticopy finished tree | commitdiff
2013-01-15 Ferruccio Guidi- a few more lemmas ... tree | commitdiff
2013-01-15 Andrea Asperticopy.ma tree | commitdiff
2013-01-14 Wilmer Ricciottimatch.ma completed tree | commitdiff
2013-01-14 Wilmer Ricciottimatch termination completed, still a small case ignored... tree | commitdiff
2013-01-14 Wilmer Ricciottiwsem_match finished tree | commitdiff
2013-01-14 Wilmer Ricciottiadvancement in match tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.