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

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

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / helm / ocaml / tactics / tacticals.ml

2005-11-04	Stefano Zacchiroli	changed stack entry representation	blob \| commitdiff \| raw
2005-10-25	Claudio Sacerdoti...	Semantic change: applying a tactic to the empty goal...	blob \| commitdiff \| raw \| diff to current
2005-10-25	Stefano Zacchiroli	new tacticals	blob \| commitdiff \| raw \| diff to current
2005-10-25	Claudio Sacerdoti...	Every exception that used to have type string is now...	blob \| commitdiff \| raw \| diff to current
2005-09-21	Claudio Sacerdoti...	All the debug_print are now lazy.	blob \| commitdiff \| raw \| diff to current
2005-07-06	Claudio Sacerdoti...	Fixed a bug in the "do" tactical that made it diverge.	blob \| commitdiff \| raw \| diff to current
2005-07-06	Claudio Sacerdoti...	1. tactical "try_tacticals" renamed to "first"	blob \| commitdiff \| raw \| diff to current
2005-07-05	Ferruccio Guidi	id ;-) and lapply patched	blob \| commitdiff \| raw \| diff to current
2005-06-27	Claudio Sacerdoti...	A few other tactics made available to matita.	blob \| commitdiff \| raw \| diff to current
2005-06-25	Ferruccio Guidi	firs wrking (?) version of lapply	blob \| commitdiff \| raw \| diff to current
2005-05-27	Enrico Tassi	removed debug prerr_endline	blob \| commitdiff \| raw \| diff to current
2005-04-27	Stefano Zacchiroli	merged changes from the svn fork by me and Enrico	blob \| commitdiff \| raw \| diff to current
2004-06-01	Enrico Tassi	new universes implementation	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-01-27	Stefano Zacchiroli	s/List.find.../CicUtil.lookup_meta/	blob \| commitdiff \| raw \| diff to current
2004-01-22	Stefano Zacchiroli	moved hard coded uris to HelmLibraryObjects	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.