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

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

projects / helm.git / history

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

[helm.git] / helm / ocaml / cic_unification / coercGraph.ml

2005-11-18	Enrico Tassi	more work for coercions	blob \| commitdiff \| raw
2005-11-14	Enrico Tassi	dded missing catch for coercions	blob \| commitdiff \| raw \| diff to current
2005-10-25	Claudio Sacerdoti...	Every exception that used to have type string is now...	blob \| commitdiff \| raw \| diff to current
2005-10-17	Enrico Tassi	added coercions to Prod	blob \| commitdiff \| raw \| diff to current
2005-09-21	Claudio Sacerdoti...	More debug_print made lazy.	blob \| commitdiff \| raw \| diff to current
2005-07-01	Claudio Sacerdoti...	prerr_endline -> debug_print	blob \| commitdiff \| raw \| diff to current
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.