projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2009-04-08 Claudio Sacerdoti... Just to make it compile again. commit | commitdiff | tree | snapshot
2009-04-08 Enrico Tassigeneralized is half-implemented (still broken) commit | commitdiff | tree | snapshot
2009-04-08 Enrico TassiAnalizyng the inductive type of the eliminated term and commit | commitdiff | tree | snapshot
2009-04-07 Claudio Sacerdoti... - nrewrite ((very?) rough implementation) commit | commitdiff | tree | snapshot
2009-04-07 Claudio Sacerdoti... - more progress towards generalize, but I am stuck now commit | commitdiff | tree | snapshot
2009-04-07 Enrico Tassi- select_tac honors the hypotheses pattern when require... commit | commitdiff | tree | snapshot
2009-04-07 Enrico Tassiselect honors the substitution commit | commitdiff | tree | snapshot
2009-04-06 Claudio Sacerdoti... New tactic clear; new syntax # _; to introduce and... commit | commitdiff | tree | snapshot
2009-04-06 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2009-04-06 Enrico Tassitactic cases works! delift clears tags commit | commitdiff | tree | snapshot
2009-04-06 Enrico Tassieta-contraction was made on the wrong term commit | commitdiff | tree | snapshot
2009-04-06 Enrico Tassiunification: commit | commitdiff | tree | snapshot
2009-04-06 Enrico Tassibetter error message commit | commitdiff | tree | snapshot
2009-04-06 Enrico Tassiadded one exception commit | commitdiff | tree | snapshot
2009-04-06 Ferruccio Guidi- external quantification removed (will be reintroduced... commit | commitdiff | tree | snapshot
2009-04-06 Ferruccio Guidilimits: reorganized and attached to nightly tests ... commit | commitdiff | tree | snapshot
2009-04-06 Enrico Tassisnapshot commit | commitdiff | tree | snapshot
2009-04-05 Ferruccio Guidi- Procedural: now we generate the exact tactic (in... commit | commitdiff | tree | snapshot
2009-04-02 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-04-02 Enrico TassiNew file nTacStatus to: commit | commitdiff | tree | snapshot
2009-04-02 Enrico Tassiadded analyse_indty commit | commitdiff | tree | snapshot
2009-04-01 Claudio Sacerdoti... New tactic "case1_tac" that make "intro" followed by... commit | commitdiff | tree | snapshot
2009-04-01 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2009-04-01 Claudio Sacerdoti... ## prefix is now used for tinycals commit | commitdiff | tree | snapshot
2009-04-01 Claudio Sacerdoti... New tactic intro. Syntax: "# n". commit | commitdiff | tree | snapshot
2009-04-01 Enrico Tassiadded tentative elim commit | commitdiff | tree | snapshot
2009-04-01 Enrico Tassi1) mk_meta now returns also the index of the created... commit | commitdiff | tree | snapshot
2009-04-01 Enrico Tassiremoved spurious " commit | commitdiff | tree | snapshot
2009-03-30 Enrico Tassitentative subst-sexpand and change commit | commitdiff | tree | snapshot
2009-03-30 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-03-27 Enrico Tassimore comments commit | commitdiff | tree | snapshot
2009-03-27 Enrico Tassiexec and distribute implemented commit | commitdiff | tree | snapshot
2009-03-26 Enrico Tassinew apply almost there commit | commitdiff | tree | snapshot
2009-03-26 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-03-26 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-03-25 Enrico Tassinew tactics are almost ready commit | commitdiff | tree | snapshot
2009-03-19 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2009-03-19 Stefano Zacchiroliadd Homepage field commit | commitdiff | tree | snapshot
2009-03-19 Stefano Zacchiroliset package section to "ocaml" commit | commitdiff | tree | snapshot
2009-03-19 Stefano Zacchiroliadd missing ${misc:Depends}, thanks lintian! commit | commitdiff | tree | snapshot
2009-03-19 Stefano Zacchirolirelease to unstable commit | commitdiff | tree | snapshot
2009-03-19 Stefano Zacchirolidebian/*.in: more abstract substvars commit | commitdiff | tree | snapshot
2009-03-19 Stefano Zacchirolidebian/rules: use ocaml.mk as a CDBS "rules" snippet commit | commitdiff | tree | snapshot
2009-03-19 Stefano Zacchirolirefresh build-dependencies for the transition commit | commitdiff | tree | snapshot
2009-03-16 Enrico Tassiadded mactions, the three can now be collapsed to fit... commit | commitdiff | tree | snapshot
2009-03-16 Andrea AspertiNew parameters for applyS: 10 20. commit | commitdiff | tree | snapshot
2009-03-16 Andrea AspertiAdapted to new applyS. commit | commitdiff | tree | snapshot
2009-03-16 Andrea AspertiAdded a property. commit | commitdiff | tree | snapshot
2009-03-12 Claudio Sacerdoti... More details on the proof. commit | commitdiff | tree | snapshot
2009-03-12 Claudio Sacerdoti... New algorithm based on in-place modification of the... commit | commitdiff | tree | snapshot
2009-03-11 Ferruccio GuidimatitacLib: Gc.compact added after the compilation... commit | commitdiff | tree | snapshot
2009-03-11 Ferruccio GuidiProcedural: id tactics are not counted, ie they are... commit | commitdiff | tree | snapshot
2009-03-11 Ferruccio Guidibug fix + better obj flavour guessing via inner sorts commit | commitdiff | tree | snapshot
2009-03-11 Ferruccio Guidithe level 1 reconstruction procedure is now in Procedural1 commit | commitdiff | tree | snapshot
2009-03-11 Ferruccio Guidi.... commit | commitdiff | tree | snapshot
2009-03-11 Ferruccio Guidinew dependences commit | commitdiff | tree | snapshot
2009-03-11 Enrico Tassiunification hints with recursive calls do work! commit | commitdiff | tree | snapshot
2009-03-11 Enrico Tassiadded margin option to the pp commit | commitdiff | tree | snapshot
2009-03-11 Enrico Tassimore examples commit | commitdiff | tree | snapshot
2009-03-10 Enrico Tassiunificatiom hints with premises commit | commitdiff | tree | snapshot
2009-03-10 Ferruccio Guidiadded some commented debugging instructions :) commit | commitdiff | tree | snapshot
2009-03-10 Enrico Tassiunification hints almost ready commit | commitdiff | tree | snapshot
2009-03-10 Enrico Tassinotation ++ commit | commitdiff | tree | snapshot
2009-03-10 Andrea AspertiA version of applyS with bounded iterations of given_cl... commit | commitdiff | tree | snapshot
2009-03-10 Andrea AspertiRemoved the context from the metasenv to avoid trivial... commit | commitdiff | tree | snapshot
2009-03-09 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-03-06 Claudio Sacerdoti... Minor improvements in pretty-printing. commit | commitdiff | tree | snapshot
2009-03-05 Claudio Sacerdoti... New version: only new nodes are normalized; moreover... commit | commitdiff | tree | snapshot
2009-03-03 Enrico Tassi- fixed hint generation, more hints are generated commit | commitdiff | tree | snapshot
2009-03-02 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2009-03-02 Claudio Sacerdoti... New version. commit | commitdiff | tree | snapshot
2009-03-02 Claudio Sacerdoti... New version. commit | commitdiff | tree | snapshot
2009-03-02 Claudio Sacerdoti... New version. commit | commitdiff | tree | snapshot
2009-03-02 Claudio Sacerdoti... New version. commit | commitdiff | tree | snapshot
2009-03-02 Claudio Sacerdoti... New version. commit | commitdiff | tree | snapshot
2009-03-02 Claudio Sacerdoti... New version. commit | commitdiff | tree | snapshot
2009-03-02 Claudio Sacerdoti... New version. commit | commitdiff | tree | snapshot
2009-03-02 Claudio Sacerdoti... New version. commit | commitdiff | tree | snapshot
2009-03-02 Claudio Sacerdoti... First version. commit | commitdiff | tree | snapshot
2009-03-02 Claudio Sacerdoti... Old algorithm moved to old to leave place to the new... commit | commitdiff | tree | snapshot
2009-03-02 Ferruccio GuidicicInspect: node count fixed commit | commitdiff | tree | snapshot
2009-03-02 Ferruccio Guidiuri renaming and new nodes count commit | commitdiff | tree | snapshot
2009-03-02 Ferruccio Guidisome renaming to comply with new naming policy ... commit | commitdiff | tree | snapshot
2009-02-26 Ferruccio GuidicicInspect: now we can choose not to count the Cic... commit | commitdiff | tree | snapshot
2009-02-25 Ferruccio GuidiProceduralTeX completed and tested on the terms given... commit | commitdiff | tree | snapshot
2009-02-25 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-02-24 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-02-24 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-02-21 Ferruccio GuidiNew module for TeX rendering of procedural input/output commit | commitdiff | tree | snapshot
2009-02-20 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-02-20 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-02-17 Ferruccio Guidi- Coq/preamble: missing alias added commit | commitdiff | tree | snapshot
2009-02-16 Enrico Tassisome notational experiments commit | commitdiff | tree | snapshot
2009-02-15 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-02-15 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-02-15 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-02-15 Enrico Tassicommented some printings commit | commitdiff | tree | snapshot
2009-02-15 Enrico Tassiminor changes to make the library compile after wilmers... commit | commitdiff | tree | snapshot
2009-02-13 Wilmer RicciottiAxiomatization of real numbers (work in progress) commit | commitdiff | tree | snapshot
2009-02-12 Andrea Aspertierrata corrige. commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.