]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/tactics/Makefile
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / ocaml / tactics / Makefile
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/ commit | commitdiff
2006-02-03 Stefano Zacchirolicosmetic fix commit | commitdiff
2006-02-02 Stefano Zacchirolino more multiple configure/Makefile, just one for both... commit | commitdiff
2006-01-31 Andrea Aspertifixed ocamldep command line commit | commitdiff
2006-01-26 Stefano Zacchiroliadded generation of KLOCs in dot diagrams commit | commitdiff
2006-01-12 Andrea AspertiMoved paramodulation inside tactics. commit | commitdiff
2005-12-15 marangonNew tactic: inversion. commit | commitdiff
2005-11-24 Stefano Zacchiroliremoved the need of REQUIRES in libraries Makefile... commit | commitdiff
2005-10-25 Stefano Zacchirolinew tacticals commit | commitdiff
2005-10-06 Stefano Zacchirolifirst check in of continuationals implementation commit | commitdiff
2005-07-28 Claudio Sacerdoti... New tactic unfold. commit | commitdiff
2005-06-15 Ferruccio Guidibeginning of the tactics lapply and fwd commit | commitdiff
2005-02-04 Stefano Zacchiroli- removed dependency on mathql 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-11-03 Stefano Zacchirolino longer use Dbi module but directly use Mysql module... 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-02 Enrico Tassifix for proofEngineTypes.mli 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 Matteo SelmiAdded a filter for uris in tactic "auto". 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-22 Enrico Tassifourier.mli addedto interface files. commit | commitdiff
2004-04-22 Claudio Sacerdoti... IMPLEMENTATION_FILES now generated from INTERFACE_FILES. commit | commitdiff
2004-03-12 acerioniFirst implementation of the Auto tactic. 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.