matita.cs.unibo.it Git - helm.git/history - helm/ocaml/tactics/variousTactics.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/tactics/variousTactics.ml

2004-05-18	Andrea Asperti	Nuova implementazione di Auto "breadth-first".	blob \| commitdiff \| raw
2004-05-17	Matteo Selmi	Added a filter for uris in tactic "auto".	blob \| commitdiff \| raw \| diff to current
2004-05-10	Andrea Asperti	Adding file match_concl	blob \| commitdiff \| raw \| diff to current
2004-04-20	Stefano Zacchiroli	got rid of ~status label so that tactics can now be...	blob \| commitdiff \| raw \| diff to current
2004-04-14	Claudio Sacerdoti...	Bug fixed: the following happened.	blob \| commitdiff \| raw \| diff to current
2004-03-12	acerioni	First implementation of the Auto tactic.	blob \| commitdiff \| raw \| diff to current
2004-02-05	Claudio Sacerdoti...	fresh_name_generator has now also the metasenv parameter.	blob \| commitdiff \| raw \| diff to current
2004-02-05	Claudio Sacerdoti...	mk_fresh_name moved to FreshNamesGenerator.	blob \| commitdiff \| raw \| diff to current
2004-01-27	Stefano Zacchiroli	s/List.find.../CicUtil.lookup_meta/	blob \| commitdiff \| raw \| diff to current
2003-09-05	Claudio Sacerdoti...	Defs in context may now have an optional type (when...	blob \| commitdiff \| raw \| diff to current
2003-06-19	Claudio Sacerdoti...	Merge of the V7_3_new_exportation branch.	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.