]> 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
- use PxpHelmConf
[helm.git] / helm / ocaml / tactics /
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.