]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
- matitadep: new option -t to list the unreferenced sources
[helm.git] / matita / matita / lib /
2013-08-09 Ferruccio Guidi- we added nat-labeled reflexive and transitive closure... tree | commitdiff
2013-08-01 Ferruccio Guidipartial commit: just the components before "static... tree | commitdiff
2013-06-19 Ferruccio Guidi- partial commit :( tree | commitdiff
2013-06-05 Ferruccio Guidisome work on extended reduction ... tree | commitdiff
2013-05-31 Andrea Aspertiiteration.ma tree | commitdiff
2013-05-31 Andrea Aspertibounded quantifiers and pidgeon_hole tree | commitdiff
2013-05-31 Andrea Aspertigap.ma tree | commitdiff
2013-05-17 Andrea AspertiImproved version tree | commitdiff
2013-05-17 Andrea Aspertimore functions tree | commitdiff
2013-05-03 Andrea Aspertireverse complexity tree | commitdiff
2013-04-30 Claudio Sacerdoti... Missing include. tree | commitdiff
2013-04-30 Andrea Aspertichapter9 tree | commitdiff
2013-04-30 Andrea Aspertitutorial tree | commitdiff
2013-04-30 Claudio Sacerdoti... Old version dropped. tree | commitdiff
2013-04-30 Andrea AspertiNew notation for congruence tree | commitdiff
2013-04-30 Andrea AspertiThis line, and those below, will be ignored-- tree | commitdiff
2013-04-29 Andrea AspertiA few integrations (closed an axiom in finset). tree | commitdiff
2013-04-25 Wilmer RicciottiAn attempt at ostensiby named syntax. tree | commitdiff
2013-03-11 Andrea AspertiChpater 4 and 5 tree | commitdiff
2013-03-10 Andrea Aspertichapters 2 e 3 tree | commitdiff
2013-02-28 Ferruccio Guidi- lambdadelta: first recursive part of preservation... tree | commitdiff
2013-02-28 Andrea Aspertichapter2 revisited tree | commitdiff
2013-02-27 Andrea AspertiChapter 1 revisited tree | commitdiff
2013-02-11 Ferruccio Guidimore service lemmas in nat and lambdadelta 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-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-01 Ferruccio Guidilambda finaly moved in lib tree | commitdiff
2013-02-01 Wilmer Ricciottimatch now only uses the new move operation 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 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-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 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 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
2013-01-14 Andrea AspertiClosed some daemons tree | commitdiff
2013-01-14 Andrea Aspertinth_current_chars tree | commitdiff
2013-01-11 Wilmer Ricciottimatch almost finished tree | commitdiff
2013-01-08 Andrea Aspertimore porting to machines that can move without writing tree | commitdiff
2013-01-08 Wilmer Ricciottiparmove based on end of the tape tree | commitdiff
2013-01-08 Wilmer Ricciottiporting to machine that can move without writing tree | commitdiff
2013-01-05 Andrea AspertiPorted permutation.ma and fermat_little_theorem.ma tree | commitdiff
2013-01-03 Andrea Aspertirefactoring tree | commitdiff
2013-01-03 Andrea AspertiRefactoring tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.