matita.cs.unibo.it Git - helm.git/history - helm/software/components/binaries/transcript/.depend.opt

]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/binaries/transcript/.depend.opt

[helm.git] / helm / software / components / binaries / transcript / .depend.opt

2009-07-17	denes	Branched paramodulation for CNF (Horn clauses)	blob \| commitdiff \| raw
2009-07-07	Claudio Sacerdoti...	1) Include files for NG were neither recursively proces...	blob \| commitdiff \| raw \| diff to current
2009-06-25	Ferruccio Guidi	- some depend files :)	blob \| commitdiff \| raw
2009-06-15	Enrico Tassi	EXPERIMENTAL COMMIT (by CSC,actuall :-)	blob \| commitdiff \| raw \| diff to current
2009-06-06	Claudio Sacerdoti...	Previous commit reverted, as explained in that log.	blob \| commitdiff \| raw
2009-06-06	Claudio Sacerdoti...	This commit restores the ids_to_father_ids table.	blob \| commitdiff \| raw \| diff to current
2009-06-05	Ferruccio Guidi	- Procedural convertible rewrites in the conclusion...	blob \| commitdiff \| raw
2009-06-03	Claudio Sacerdoti...	Huge commit with several changes:	blob \| commitdiff \| raw \| diff to current
2009-05-18	Enrico Tassi	in the new kernel you can type Type[i] to mean Type_i...	blob \| commitdiff \| raw
2009-05-08	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-05-05	Ferruccio Guidi	- hExtlib: new function "list_assoc_all"	blob \| commitdiff \| raw
2009-04-28	Enrico Tassi	huge commit in automation:	blob \| commitdiff \| raw \| diff to current
2009-04-22	Ferruccio Guidi	- transcript: we have now two styles of mma's from...	blob \| commitdiff \| raw
2009-04-16	Enrico Tassi	Universe is used only locally to tactics/	blob \| commitdiff \| raw \| diff to current
2009-04-14	Ferruccio Guidi	- Procedural: generation of "exact" is now complete	blob \| commitdiff \| raw
2009-04-09	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-03-30	Enrico Tassi	tentative subst-sexpand and change	blob \| commitdiff \| raw \| diff to current
2009-03-25	Enrico Tassi	new tactics are almost ready	blob \| commitdiff \| raw \| diff to current
2008-09-05	Ferruccio Guidi	transcript: we now check for non-existing objects	blob \| commitdiff \| raw \| diff to current
2008-09-04	Ferruccio Guidi	transcript: improved debuugging facilities	blob \| commitdiff \| raw \| diff to current
2006-11-29	Ferruccio Guidi	- decompose tactic: decomposable constants are now...	blob \| commitdiff \| raw \| diff to current

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

RSS Atom