matita.cs.unibo.it Git - helm.git/history - helm/ocaml/tactics/doc/main.tex

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/tactics/doc/main.tex

2005-11-21	Stefano Zacchiroli	split body away to ease inclusion from elsewhere	blob \| commitdiff \| raw
2005-10-27	Stefano Zacchiroli	typing errors	blob \| commitdiff \| raw \| diff to current
2005-10-26	Stefano Zacchiroli	added constraing on non-empty context for tactic applic...	blob \| commitdiff \| raw \| diff to current
2005-10-25	Stefano Zacchiroli	fixed some type error	blob \| commitdiff \| raw \| diff to current
2005-10-24	Stefano Zacchiroli	new semantics, should be the basis for the (re-)impleme...	blob \| commitdiff \| raw \| diff to current
2005-10-06	Stefano Zacchiroli	first check in of continuationals implementation	blob \| commitdiff \| raw \| diff to current
2005-10-03	Stefano Zacchiroli	restated ...	blob \| commitdiff \| raw \| diff to current
2005-09-30	Stefano Zacchiroli	- fixed some metasenv issues	blob \| commitdiff \| raw \| diff to current
2005-09-30	Stefano Zacchiroli	fixed some (more) typos	blob \| commitdiff \| raw \| diff to current
2005-09-30	Stefano Zacchiroli	fixed some typos	blob \| commitdiff \| raw \| diff to current
2005-09-30	Stefano Zacchiroli	continuationals semantics: first draft	blob \| commitdiff \| raw \| diff to current

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