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

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

2006-02-09	Claudio Sacerdoti...	Most of the tactics are now documented.	blob \| commitdiff \| raw
2006-02-08	Claudio Sacerdoti...	Even more tactics documented.	blob \| commitdiff \| raw \| diff to current
2006-02-08	Claudio Sacerdoti...	New tactics (badly) documented.	blob \| commitdiff \| raw \| diff to current
2006-02-08	Claudio Sacerdoti...	Nicer index for tactics in Yelp.	blob \| commitdiff \| raw \| diff to current
2006-02-08	Claudio Sacerdoti...	Strange fix (for a yelp bug?)	blob \| commitdiff \| raw \| diff to current
2006-02-08	Claudio Sacerdoti...	From article to book	blob \| commitdiff \| raw \| diff to current
2006-02-08	Claudio Sacerdoti...	More tactics documented.	blob \| commitdiff \| raw \| diff to current
2006-02-08	Claudio Sacerdoti...	Several more tactics documented.	blob \| commitdiff \| raw \| diff to current
2006-02-08	Claudio Sacerdoti...	Help for the first two tactics.	blob \| commitdiff \| raw \| diff to current
2006-02-07	Stefano Zacchiroli	"sec_" prefix for section IDs	blob \| commitdiff \| raw \| diff to current
2006-02-07	Stefano Zacchiroli	- moved version.txt.in to the help dir	blob \| commitdiff \| raw \| diff to current

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