]> matita.cs.unibo.it Git - helm.git/history - matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
commit by user andrea
[helm.git] / matita /
2013-05-28 Andrea AspertiError to debug tree | commitdiff
2013-05-17 Andrea AspertiImproved version tree | commitdiff
2013-05-17 Andrea Aspertimore functions tree | commitdiff
2013-05-16 Ferruccio Guidi- some renaming tree | commitdiff
2013-05-13 Ferruccio Guidipartial commit of the "dynamic" component tree | commitdiff
2013-05-10 Ferruccio Guidi- partial commit: we issue the "conversion" and "equiva... tree | commitdiff
2013-05-09 Ferruccio Guidipartial commit: finaly we issue the "computation" compo... tree | commitdiff
2013-05-07 Ferruccio Guidi- partial commit: refactoring in the components before... tree | commitdiff
2013-05-05 Ferruccio Guidi- partial commit (just the components before computation) tree | commitdiff
2013-05-03 Andrea Aspertireverse complexity tree | commitdiff
2013-04-30 Claudio Sacerdoti... Bumped to 0.99.2. 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-04-21 Ferruccio Guidione file was missing tree | commitdiff
2013-04-21 Ferruccio Guidi- we commit the "reduction" component tree | commitdiff
2013-04-20 Ferruccio Guidirefactoring completed :) tree | commitdiff
2013-04-20 Ferruccio Guidi- we are committing just the components before "reducib... tree | commitdiff
2013-04-17 Wilmer RicciottiFixes a bug which caused Meta_not_found exceptions... tree | commitdiff
2013-04-16 Ferruccio Guidi- we commit just the components before "reducibility" tree | commitdiff
2013-04-15 Ferruccio Guidiuncommited file found :) tree | commitdiff
2013-04-09 Wilmer RicciottiFixes a bug that caused an assertion failure when no... tree | commitdiff
2013-04-08 Claudio Sacerdoti... Patch by Paolo Tranquilli. It fixes the following probl... tree | commitdiff
2013-04-07 Ferruccio Guidi- new component for restricted computation (delta,... tree | commitdiff
2013-04-05 Ferruccio Guidi- parallel substitution reaxiomatized tree | commitdiff
2013-03-20 Ferruccio Guidi- probe: recursive removal of empty directories tree | commitdiff
2013-03-18 Ferruccio Guidimissing or rootless dependences now don't break the... tree | commitdiff
2013-03-18 Ferruccio Guidisome additions tree | commitdiff
2013-03-18 Ferruccio Guidia file was added by mistake tree | commitdiff
2013-03-18 Ferruccio Guidi- more understanding of the "big tree" reduction step tree | commitdiff
2013-03-17 Ferruccio Guidisfr renamed as lbotr and its symbol changed according... tree | commitdiff
2013-03-17 Ferruccio Guidinotational change for lsubr: tree | commitdiff
2013-03-17 Ferruccio Guidilsubs renamed as lsubr tree | commitdiff
2013-03-17 Ferruccio Guidinotational change for snv and lsubsv: inverted "!"... tree | commitdiff
2013-03-16 Ferruccio Guidi- lambdadelta: last recursive part of preservation... tree | commitdiff
2013-03-14 Ferruccio Guidi- main proof case closed in the 4th component of preser... tree | commitdiff
2013-03-13 Ferruccio Guidi- lambdadelta: third recursive part of preservation... tree | commitdiff
2013-03-11 Ferruccio Guidimore results on lenv refinement for stratified native... tree | commitdiff
2013-03-11 Ferruccio Guidisome bugs fixed tree | commitdiff
2013-03-11 Andrea AspertiChpater 4 and 5 tree | commitdiff
2013-03-10 Ferruccio Guidi- improved Makefile esp. with the "trim" function tree | commitdiff
2013-03-10 Andrea Aspertichapters 2 e 3 tree | commitdiff
2013-03-10 Ferruccio Guidiwe removed a useless assertion that was forcing matita... tree | commitdiff
2013-03-09 Ferruccio Guidibasic_2_src.tbl was not updated :( tree | commitdiff
2013-03-09 Ferruccio Guidi- lenv refinement for stratified native validity redefined tree | commitdiff
2013-03-08 Ferruccio Guidisecond recursive part of preservation finally proved! tree | commitdiff
2013-03-08 Ferruccio Guidiimproved "big treee" computation allows to close a... tree | commitdiff
2013-03-04 Claudio Sacerdoti... Bug fixed: let-rec defined propositions are no longer... tree | commitdiff
2013-03-03 Ferruccio Guidi- lambdadelta: we removed focalized reduction from... 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 Claudio Sacerdoti... Quick patch: the maxmeta is now pushed/popped when... tree | commitdiff
2013-02-27 Claudio Sacerdoti... Quick patch: the maxmeta is now pushed/popped when... tree | commitdiff
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
next
Unnamed repository; edit this file 'description' to name the repository.