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

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

[helm.git] / helm / ocaml / cic / cicUtil.mli

2005-09-23	Claudio Sacerdoti...	CicUtil.profile ==> HExtlib.profile	blob \| commitdiff \| raw
2005-09-19	Claudio Sacerdoti...	CicUtil.profile made even more polymorphic.	blob \| commitdiff \| raw \| diff to current
2005-07-27	Stefano Zacchiroli	added id_of_annterm: Cic.annterm -> Cic.id	blob \| commitdiff \| raw \| diff to current
2005-06-27	Enrico Tassi	1) moved select and pattern_of from cicUtil to proofEng...	blob \| commitdiff \| raw \| diff to current
2005-06-23	Enrico Tassi	aded prifiler factory	blob \| commitdiff \| raw \| diff to current
2005-06-17	Enrico Tassi	changed select so that it returns a list of pairs ...	blob \| commitdiff \| raw \| diff to current
2005-06-17	Claudio Sacerdoti...	more strings to UriManager.uri	blob \| commitdiff \| raw \| diff to current
2005-06-16	Claudio Sacerdoti...	Dead code for packing/unpacking (usually just a big...	blob \| commitdiff \| raw \| diff to current
2005-06-15	Claudio Sacerdoti...	Big commit and major code clean-up:	blob \| commitdiff \| raw \| diff to current
2005-06-10	Enrico Tassi	added mk_rel	blob \| commitdiff \| raw \| diff to current
2005-05-30	Stefano Zacchiroli	added uri_of_term	blob \| commitdiff \| raw \| diff to current
2005-01-21	Stefano Zacchiroli	added attribute support (not yet in the parser)	blob \| commitdiff \| raw \| diff to current
2005-01-11	Stefano Zacchiroli	- added support for contexts (terms with holes)	blob \| commitdiff \| raw \| diff to current
2004-10-22	Stefano Zacchiroli	describe exception raised by term_of_uri	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-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.

RSS Atom