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