]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/tactics/.depend
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / ocaml / tactics / .depend
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/ commit | commitdiff
2006-01-31 Andrea Aspertifixed commit | commitdiff
2006-01-31 Enrico Tassisome makefile work commit | commitdiff
2006-01-12 Andrea AspertiMoved paramodulation inside tactics. commit | commitdiff
2005-12-21 Claudio Sacerdoti... Huge reorganization of matita and ocaml. commit | commitdiff
2005-12-15 marangonNew tactic: inversion. commit | commitdiff
2005-12-07 Enrico TassiBig commit to let Ferruccio try the merge_coercion... commit | commitdiff
2005-10-25 Stefano Zacchirolinew tacticals commit | commitdiff
2005-10-06 Stefano Zacchirolifirst check in of continuationals implementation commit | commitdiff
2005-09-26 Alberto Griggionew signature of auto_tac, with a new optional argument... commit | commitdiff
2005-07-28 Claudio Sacerdoti... New tactic unfold. commit | commitdiff
2005-07-26 Claudio Sacerdoti... locate_in_term generalized to locate_in_conjecture commit | commitdiff
2005-07-01 Claudio Sacerdoti... 1. change_tac moved from PrimitiveTactics to ReductionT... commit | commitdiff
2005-06-30 Ferruccio Guidilapply and fwd improved commit | commitdiff
2005-06-29 Claudio Sacerdoti... 1. new syntax for patterns: commit | commitdiff
2005-06-29 Enrico Tassiremoved profiling function (now a stub is used instead) commit | commitdiff
2005-06-27 Enrico Tassi1) moved select and pattern_of from cicUtil to proofEng... commit | commitdiff
2005-06-15 Ferruccio Guidibeginning of the tactics lapply and fwd commit | commitdiff
2005-05-03 Enrico Tassiadded sqlStatements module (contains all CREATE TABLE... commit | commitdiff
2004-11-05 Stefano Zacchiroli- added Tactics module as a common point where tactics... commit | commitdiff
2004-11-04 Andrea AspertiAuto moved to a new file autoTactic.ml commit | commitdiff
2004-10-22 Stefano Zacchiroli- reimplemented tacticChaser and friends in term of... commit | commitdiff
2004-10-21 Stefano Zacchiroliadded reference to MetadataQuery (now it builds properly) commit | commitdiff
2004-10-04 Stefano Zacchirolisplitted History module out of StatefulProofEngine commit | commitdiff
2004-06-01 Enrico Tassinew universes implementation commit | commitdiff
2004-05-18 Claudio Sacerdoti... * tactics/Makefile fixed (to remove duplicate .mli... commit | commitdiff
2004-05-17 Stefano Zacchirolifirst check in of statefulProofEngine commit | commitdiff
2004-05-10 Andrea AspertiAdding file match_concl commit | commitdiff
2004-04-23 Enrico TassiUniverses introduction commit | commitdiff
2004-03-12 acerioniFirst implementation of the Auto tactic. commit | commitdiff
2004-02-12 Ferruccio Guidinew .depend files commit | commitdiff
2003-06-19 Claudio Sacerdoti... Merge of the V7_3_new_exportation branch. commit | commitdiff
Unnamed repository; edit this file 'description' to name the repository.