matita.cs.unibo.it Git - helm.git/history - components/binaries/tptp2grafite/main.ml

]> matita.cs.unibo.it Git - helm.git/history - components/binaries/tptp2grafite/main.ml

2006-06-15	Andrea Asperti	default constants are now the matita standard library...	blob \| commitdiff \| raw
2006-06-01	Stefano Zacchiroli	implemented tinycals:	blob \| commitdiff \| raw \| diff to current
2006-06-01	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2006-06-01	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2006-06-01	Stefano Zacchiroli	use the appropriate chain of transormations for pretty...	blob \| commitdiff \| raw \| diff to current
2006-05-30	Enrico Tassi	A -> Univ	blob \| commitdiff \| raw \| diff to current
2006-05-20	Enrico Tassi	generation of existential variables fixed	blob \| commitdiff \| raw \| diff to current
2006-05-19	Enrico Tassi	- metas_of_term moved to cicUtil	blob \| commitdiff \| raw \| diff to current
2006-05-16	Enrico Tassi	few fixes	blob \| commitdiff \| raw \| diff to current
2006-05-14	Enrico Tassi	generation of more than one theorem per file fixed	blob \| commitdiff \| raw \| diff to current
2006-05-13	Enrico Tassi	more work to produce well formed .ma files	blob \| commitdiff \| raw \| diff to current
2006-05-13	Enrico Tassi	full script generation	blob \| commitdiff \| raw \| diff to current
2006-05-13	Enrico Tassi	fixed some pp stuff	blob \| commitdiff \| raw \| diff to current
2006-05-12	Enrico Tassi	added parser (and future converter) of tptp files	blob \| commitdiff \| raw \| diff to current

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