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

]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_unification/coercGraph.ml

2005-07-01	Claudio Sacerdoti...	prerr_endline -> debug_print	blob \| commitdiff \| raw
2005-06-17	Claudio Sacerdoti...	more strings to UriManager.uri	blob \| commitdiff \| raw \| diff to current
2005-06-10	Claudio Sacerdoti...	debugging to false	blob \| commitdiff \| raw \| diff to current
2005-06-07	Enrico Tassi	added support for coercions	blob \| commitdiff \| raw \| diff to current
2005-05-27	Enrico Tassi	removed debug prerr_endline	blob \| commitdiff \| raw \| diff to current
2005-04-27	Stefano Zacchiroli	merged changes from the svn fork by me and Enrico	blob \| commitdiff \| raw \| diff to current
2005-02-03	Stefano Zacchiroli	removed spurious load of a local gTopLevel.conf.xml	blob \| commitdiff \| raw \| diff to current
2005-02-01	Enrico Tassi	fix in the coercions list generation and aded a functio...	blob \| commitdiff \| raw \| diff to current
2005-01-25	Enrico Tassi	- removed applyStylesheets	blob \| commitdiff \| raw \| diff to current
2005-01-21	Stefano Zacchiroli	attributes support	blob \| commitdiff \| raw \| diff to current
2005-01-19	Enrico Tassi	Added coercion handling module	blob \| commitdiff \| raw \| diff to current

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