]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/tactics
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Nuova implementazione di Auto "breadth-first".
[helm.git] / helm / ocaml / tactics /
2004-05-18 Andrea AspertiNuova implementazione di Auto "breadth-first". tree | commitdiff
2004-05-18 Claudio Sacerdoti... * tactics/Makefile fixed (to remove duplicate .mli... tree | commitdiff
2004-05-17 Matteo SelmiAdded a filter for uris in tactic "auto". tree | commitdiff
2004-05-17 Stefano Zacchirolifirst check in of statefulProofEngine tree | commitdiff
2004-05-13 Ferruccio Guidi- some code patched tree | commitdiff
2004-05-13 Stefano Zacchirolichanged proofStatus so that uri component is optional... tree | commitdiff
2004-05-10 Andrea AspertiAdding file newConstraint tree | commitdiff
2004-05-10 Andrea AspertiAdding file match_concl tree | commitdiff
2004-04-23 Enrico TassiUniverses introduction tree | commitdiff
2004-04-22 Claudio Sacerdoti... Patches to generate ?1 : ?2 : Type in place of ?1 ... tree | commitdiff
2004-04-22 Enrico Tassifourier.mli addedto interface files. tree | commitdiff
2004-04-22 Claudio Sacerdoti... IMPLEMENTATION_FILES now generated from INTERFACE_FILES. tree | commitdiff
2004-04-20 Stefano Zacchiroligot rid of ~status label so that tactics can now be... tree | commitdiff
2004-04-14 Claudio Sacerdoti... Bug fixed: the following happened. tree | commitdiff
2004-04-06 Stefano ZacchiroliThe parser accepts terms with metavariables as statemen... tree | commitdiff
2004-04-06 Stefano Zacchirolibugfix: local context and canonical context previously... tree | commitdiff
2004-04-06 Stefano Zacchirolibugfix: the function that abstract constant occurrences... tree | commitdiff
2004-03-31 Matteo SelmitacticChaser modified to avoid double "apply" and to... tree | commitdiff
2004-03-24 Stefano ZacchiroliCSC: hack to make applications of constants that have... tree | commitdiff
2004-03-12 acerioniFirst implementation of the Auto tactic. tree | commitdiff
2004-02-24 Claudio Sacerdoti... New v8.0 URIs. tree | commitdiff
2004-02-24 Claudio Sacerdoti... Porting URIs to V8.0. tree | commitdiff
2004-02-24 Claudio Sacerdoti... Partial porting to V8 URIs. tree | commitdiff
2004-02-12 Ferruccio Guidinew .depend files tree | commitdiff
2004-02-12 Stefano Zacchiroliremoved some anciente debugging messages tree | commitdiff
2004-02-06 Stefano Zacchiroliadded annotations to Cic.Implicit tree | commitdiff
2004-02-05 Claudio Sacerdoti... fresh_name_generator has now also the metasenv parameter. tree | commitdiff
2004-02-05 Claudio Sacerdoti... mk_fresh_name moved to FreshNamesGenerator. tree | commitdiff
2004-02-02 Stefano Zacchirolichanged prototype of CicMetaSubst.apply_subst* tree | commitdiff
2004-01-27 Stefano Zacchirolis/List.find.../CicUtil.lookup_meta/ tree | commitdiff
2004-01-22 Stefano Zacchirolimoved hard coded uris to HelmLibraryObjects tree | commitdiff
2004-01-22 Stefano Zacchiroliported to cicMetaSubst tree | commitdiff
2003-12-02 Ferruccio Guidisort CProp added tree | commitdiff
2003-10-07 Luca Padovani* removed currified constructors everywhere. A bug... tree | commitdiff
2003-09-05 Claudio Sacerdoti... Replace is now working also over Type. tree | commitdiff
2003-09-05 Claudio Sacerdoti... Replace tactic fixed. It was not working any longer... tree | commitdiff
2003-09-05 Claudio Sacerdoti... Defs in context may now have an optional type (when... tree | commitdiff
2003-09-04 Ferruccio Guidiadded the support for the "Locate Inductive Principles... tree | commitdiff
2003-07-17 Ferruccio Guidi- new generated query "unreferred" implemented at serve... tree | commitdiff
2003-07-02 Ferruccio Guidimathql_generator: new constraint format (more type... tree | commitdiff
2003-06-19 Claudio Sacerdoti... The universe was the one of the complete search, not... tree | commitdiff
2003-06-19 Claudio Sacerdoti... Merge of the V7_3_new_exportation branch. tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.