matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_tactics/.depend

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

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / helm / software / components / ng_tactics / .depend

2009-10-06	Wilmer Ricciotti	Inverters/Inversion:	blob \| commitdiff \| raw
2009-10-05	Enrico Tassi	auto and auto_paramod are in nAuto	blob \| commitdiff \| raw \| diff to current
2009-10-05	Enrico Tassi	new file for auto	blob \| commitdiff \| raw \| diff to current
2009-10-05	Enrico Tassi	added auto_cache in the dupable status after an	blob \| commitdiff \| raw \| diff to current
2009-10-02	Wilmer Ricciotti	Updated command ninverter. Syntax:	blob \| commitdiff \| raw \| diff to current
2009-10-02	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-09-30	Wilmer Ricciotti	Added initial support for inversion principles in Matit...	blob \| commitdiff \| raw \| diff to current
2009-09-21	Enrico Tassi	huge commit regarding universes:	blob \| commitdiff \| raw \| diff to current
2009-07-07	Claudio Sacerdoti...	1) Include files for NG were neither recursively proces...	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 \| diff to current
2009-05-18	Claudio Sacerdoti...	1) GrafiteAst.NEval => GrafiteAst.NReduce	blob \| commitdiff \| raw \| diff to current
2009-05-12	Ferruccio Guidi	- Procedural: we now reconstruct "let H := v in t"...	blob \| commitdiff \| raw \| diff to current
2009-05-11	Claudio Sacerdoti...	- non_punctuational_tacticals ported to NG	blob \| commitdiff \| raw \| diff to current
2009-05-08	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-04-14	Ferruccio Guidi	we rebuilt the dependences	blob \| commitdiff \| raw \| diff to current
2009-04-02	Enrico Tassi	New file nTacStatus to:	blob \| commitdiff \| raw \| diff to current
2009-03-25	Enrico Tassi	new tactics are almost ready	blob \| commitdiff \| raw \| diff to current

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