matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic/cicUtil.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic/cicUtil.ml

2005-01-21	Stefano Zacchiroli	added attribute support (not yet in the parser)	blob \| commitdiff \| raw
2005-01-11	Stefano Zacchiroli	- added support for contexts (terms with holes)	blob \| commitdiff \| raw \| diff to current
2004-10-22	Andrea Asperti	- reimplemented meta_closed in non CPS way (faster!)	blob \| commitdiff \| raw \| diff to current
2004-10-21	Stefano Zacchiroli	bugfix: use only baseuri in uri part of MutInd and...	blob \| commitdiff \| raw \| diff to current
2004-10-20	Stefano Zacchiroli	added term_of_uri	blob \| commitdiff \| raw \| diff to current
2004-09-17	Ferruccio Guidi	meta_closed added	blob \| commitdiff \| raw \| diff to current
2004-07-20	Andrea Asperti	The type substitution has been moved into Cic.	blob \| commitdiff \| raw \| diff to current
2004-04-14	Stefano Zacchiroli	added exists_meta	blob \| commitdiff \| raw \| diff to current
2004-02-09	Claudio Sacerdoti...	Added is_closed.	blob \| commitdiff \| raw \| diff to current
2004-01-27	Stefano Zacchiroli	added CicUtil module with just lookup_meta function	blob \| commitdiff \| raw \| diff to current

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