]>
2006-01-08 | Claudio Sacerdoti... | Added $Id$ to every .ml file. | blob | commitdiff | raw |
2004-10-22 | Andrea Asperti | be more quiet (removed debugging prints) | blob | commitdiff | raw | diff to current |
2004-09-06 | Andrea Asperti | Corrected bug about the generation of constraitns:... | blob | commitdiff | raw | diff to current |
2004-04-23 | Enrico Tassi | Universes introduction | blob | commitdiff | raw | diff to current |
2004-03-09 | Claudio Sacerdoti... | Meta no longer raise a failure. Instead they return... | blob | commitdiff | raw | diff to current |
2004-02-06 | Stefano Zacchiroli | added annotations to Cic.Implicit | blob | commitdiff | raw | diff to current |
2003-12-02 | Ferruccio Guidi | sort CProp added | blob | commitdiff | raw | diff to current |
2003-09-04 | Ferruccio Guidi | added the support for the "Locate Inductive Principles... | blob | commitdiff | raw | diff to current |
2003-07-17 | Ferruccio Guidi | - new generated query "unreferred" implemented at serve... | blob | commitdiff | raw | diff to current |