]> matita.cs.unibo.it Git - helm.git/history - helm
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Debugging
[helm.git] / helm /
2009-04-01 Enrico Tassiremoved spurious " tree | commitdiff
2009-03-30 Enrico Tassitentative subst-sexpand and change tree | commitdiff
2009-03-30 Enrico Tassi... tree | commitdiff
2009-03-27 Enrico Tassimore comments tree | commitdiff
2009-03-27 Enrico Tassiexec and distribute implemented tree | commitdiff
2009-03-26 Enrico Tassinew apply almost there tree | commitdiff
2009-03-26 Enrico Tassi... tree | commitdiff
2009-03-26 Enrico Tassi... tree | commitdiff
2009-03-25 Enrico Tassinew tactics are almost ready tree | commitdiff
2009-03-19 Claudio Sacerdoti... ... tree | commitdiff
2009-03-19 Stefano Zacchiroliadd Homepage field tree | commitdiff
2009-03-19 Stefano Zacchiroliset package section to "ocaml" tree | commitdiff
2009-03-19 Stefano Zacchiroliadd missing ${misc:Depends}, thanks lintian! tree | commitdiff
2009-03-19 Stefano Zacchirolirelease to unstable tree | commitdiff
2009-03-19 Stefano Zacchirolidebian/*.in: more abstract substvars tree | commitdiff
2009-03-19 Stefano Zacchirolidebian/rules: use ocaml.mk as a CDBS "rules" snippet tree | commitdiff
2009-03-19 Stefano Zacchirolirefresh build-dependencies for the transition tree | commitdiff
2009-03-16 Enrico Tassiadded mactions, the three can now be collapsed to fit... tree | commitdiff
2009-03-16 Andrea AspertiNew parameters for applyS: 10 20. tree | commitdiff
2009-03-16 Andrea AspertiAdapted to new applyS. tree | commitdiff
2009-03-16 Andrea AspertiAdded a property. tree | commitdiff
2009-03-12 Claudio Sacerdoti... More details on the proof. tree | commitdiff
2009-03-12 Claudio Sacerdoti... New algorithm based on in-place modification of the... tree | commitdiff
2009-03-11 Ferruccio GuidimatitacLib: Gc.compact added after the compilation... tree | commitdiff
2009-03-11 Ferruccio GuidiProcedural: id tactics are not counted, ie they are... tree | commitdiff
2009-03-11 Ferruccio Guidibug fix + better obj flavour guessing via inner sorts tree | commitdiff
2009-03-11 Ferruccio Guidithe level 1 reconstruction procedure is now in Procedural1 tree | commitdiff
2009-03-11 Ferruccio Guidi.... tree | commitdiff
2009-03-11 Ferruccio Guidinew dependences tree | commitdiff
2009-03-11 Enrico Tassiunification hints with recursive calls do work! tree | commitdiff
2009-03-11 Enrico Tassiadded margin option to the pp tree | commitdiff
2009-03-11 Enrico Tassimore examples tree | commitdiff
2009-03-10 Enrico Tassiunificatiom hints with premises tree | commitdiff
2009-03-10 Ferruccio Guidiadded some commented debugging instructions :) tree | commitdiff
2009-03-10 Enrico Tassiunification hints almost ready tree | commitdiff
2009-03-10 Enrico Tassinotation ++ tree | commitdiff
2009-03-10 Andrea AspertiA version of applyS with bounded iterations of given_cl... tree | commitdiff
2009-03-10 Andrea AspertiRemoved the context from the metasenv to avoid trivial... tree | commitdiff
2009-03-09 Enrico Tassi... tree | commitdiff
2009-03-06 Claudio Sacerdoti... Minor improvements in pretty-printing. tree | commitdiff
2009-03-05 Claudio Sacerdoti... New version: only new nodes are normalized; moreover... tree | commitdiff
2009-03-03 Enrico Tassi- fixed hint generation, more hints are generated tree | commitdiff
2009-03-02 Claudio Sacerdoti... ... tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... New version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... First version. tree | commitdiff
2009-03-02 Claudio Sacerdoti... Old algorithm moved to old to leave place to the new... tree | commitdiff
2009-03-02 Ferruccio GuidicicInspect: node count fixed tree | commitdiff
2009-03-02 Ferruccio Guidiuri renaming and new nodes count tree | commitdiff
2009-03-02 Ferruccio Guidisome renaming to comply with new naming policy ... tree | commitdiff
2009-02-26 Ferruccio GuidicicInspect: now we can choose not to count the Cic... tree | commitdiff
2009-02-25 Ferruccio GuidiProceduralTeX completed and tested on the terms given... tree | commitdiff
2009-02-25 Enrico Tassi... tree | commitdiff
2009-02-24 Enrico Tassi... tree | commitdiff
2009-02-24 Enrico Tassi... tree | commitdiff
2009-02-21 Ferruccio GuidiNew module for TeX rendering of procedural input/output tree | commitdiff
2009-02-20 Enrico Tassi... tree | commitdiff
2009-02-20 Enrico Tassi... tree | commitdiff
2009-02-17 Ferruccio Guidi- Coq/preamble: missing alias added tree | commitdiff
2009-02-16 Enrico Tassisome notational experiments tree | commitdiff
2009-02-15 Enrico Tassi... tree | commitdiff
2009-02-15 Enrico Tassi... tree | commitdiff
2009-02-15 Enrico Tassi... tree | commitdiff
2009-02-15 Enrico Tassicommented some printings tree | commitdiff
2009-02-15 Enrico Tassiminor changes to make the library compile after wilmers... tree | commitdiff
2009-02-13 Wilmer RicciottiAxiomatization of real numbers (work in progress) tree | commitdiff
2009-02-12 Andrea Aspertierrata corrige. tree | commitdiff
2009-02-12 Andrea AspertiFixed a problem of lifting. tree | commitdiff
2009-02-11 Enrico Tassisome work to refine objs tree | commitdiff
2009-02-11 Enrico Tassi... tree | commitdiff
2009-02-09 Enrico Tassib:action are now considered as m:maction and thus are... tree | commitdiff
2009-02-06 Enrico Tassi... tree | commitdiff
2009-02-05 Enrico Tassi... tree | commitdiff
2009-02-05 Enrico Tassia non necessary but morally required change. The matche... tree | commitdiff
2009-02-03 Enrico Tassisome work to speed up the system tree | commitdiff
2009-02-03 Enrico Tassicase tactic first tries with a simple outtype and then... tree | commitdiff
2009-02-02 Enrico Tassi... tree | commitdiff
2009-02-02 Enrico TassiCicTypeChecker.typecheck now takes an additional parameter: tree | commitdiff
2009-02-02 Claudio Sacerdoti... Hmmm, going too low. tree | commitdiff
2009-02-02 Claudio Sacerdoti... ... tree | commitdiff
2009-02-01 Claudio Sacerdoti... Towards fullness. tree | commitdiff
2009-02-01 Claudio Sacerdoti... Renaming. tree | commitdiff
2009-02-01 Claudio Sacerdoti... Renaming. tree | commitdiff
2009-01-30 Enrico Tassifix convertibility in case of application test_eq_only... tree | commitdiff
2009-01-29 Enrico Tassimore polishing tree | commitdiff
2009-01-29 Enrico Tassi... tree | commitdiff
2009-01-29 Enrico Tassiapplication arguments are compared with test_eq_only... tree | commitdiff
2009-01-28 Enrico Tassisome work tree | commitdiff
2009-01-28 Enrico Tassi... tree | commitdiff
2009-01-28 Enrico Tassi... tree | commitdiff
2009-01-28 Enrico Tassi... tree | commitdiff
2009-01-28 Enrico Tassi... tree | commitdiff
2009-01-27 Enrico Tassimaction, mpadded and mstyle added to documentation tree | commitdiff
2009-01-26 Enrico Tassiminor fixes tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.