matita.cs.unibo.it Git - helm.git/history - components/tactics/continuationals.ml

]> matita.cs.unibo.it Git - helm.git/history - components/tactics/continuationals.ml

2007-10-09	Enrico Tassi	added patch to allow i,j,k: skip and *: skip	blob \| commitdiff \| raw
2007-04-20	Claudio Sacerdoti...	Interface of the argument to Continuationals.Make great...	blob \| commitdiff \| raw \| diff to current
2006-08-31	Ferruccio Guidi	- semantics of tactic subst allmost fixed	blob \| commitdiff \| raw \| diff to current
2006-07-26	Enrico Tassi	order is important	blob \| commitdiff \| raw \| diff to current
2006-07-10	Enrico Tassi	fixed 1,2: and *: according to the camera ready semantics	blob \| commitdiff \| raw \| diff to current
2006-07-06	Enrico Tassi	fixed *: and n,m:	blob \| commitdiff \| raw \| diff to current
2006-06-19	Enrico Tassi	typo cpying the formal semantic	blob \| commitdiff \| raw \| diff to current
2006-06-01	Stefano Zacchiroli	implemented tinycals:	blob \| commitdiff \| raw \| diff to current
2006-05-20	Enrico Tassi	commented out a line to help paramodulation.	blob \| commitdiff \| raw \| diff to current
2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	blob \| commitdiff \| raw \| diff to current

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