matita.cs.unibo.it Git - helm.git/history - helm/software/matita/help/C/sec_declarative

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/help/C/sec_declarative_tactics.xml

2008-05-26	Enrico Tassi	better description of declarative tactics	blob \| commitdiff \| raw
2008-03-20	Claudio Sacerdoti...	New syntax for auto-related tactics and conclude/obtain.	blob \| commitdiff \| raw \| diff to current
2006-11-30	Claudio Sacerdoti...	Syntax of a declarative rewritinstep changed.	blob \| commitdiff \| raw \| diff to current
2006-11-14	maiorino	New: on-line help for declarative tactics (first version).	blob \| commitdiff \| raw \| diff to current

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