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

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

projects / helm.git / history

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

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

2009-06-15	Enrico Tassi	huge commit regarding the grafite_status:	blob \| commitdiff \| raw
2009-06-06	Claudio Sacerdoti...	Previous commit reverted, as explained in that log.	blob \| commitdiff \| raw \| diff to current
2009-06-06	Claudio Sacerdoti...	This commit restores the ids_to_father_ids table.	blob \| commitdiff \| raw
2009-06-05	denes	First tests for paramodulation (pretty printer, unifica...	blob \| commitdiff \| raw \| diff to current
2009-06-03	Claudio Sacerdoti...	Huge commit with several changes:	blob \| commitdiff \| raw
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-08	Claudio Sacerdoti...	...	blob \| commitdiff \| raw
2009-05-05	Ferruccio Guidi	- hExtlib: new function "list_assoc_all"	blob \| commitdiff \| raw \| diff to current
2009-04-20	Enrico Tassi	- init_cache_and_tables rewritten using the automation_...	blob \| commitdiff \| raw
2009-04-14	Ferruccio Guidi	we rebuilt the dependences	blob \| commitdiff \| raw \| diff to current
2009-04-14	Ferruccio Guidi	- Procedural: generation of "exact" is now complete	blob \| commitdiff \| raw \| diff to current
2009-04-06	Claudio Sacerdoti...	New tactic clear; new syntax # _; to introduce and...	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-26	Enrico Tassi	auto was compiraing lazy proof terms with = ... fixed	blob \| commitdiff \| raw \| diff to current
2008-09-04	Ferruccio Guidi	transcript: improved debuugging facilities	blob \| commitdiff \| raw \| diff to current
2006-11-15	Ferruccio Guidi	transcript: very alpha version.	blob \| commitdiff \| raw \| diff to current

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