]>
2008-05-13 | Claudio Sacerdoti... | Added boolean "is_inductive" to NReference.Ind | blob | commitdiff | raw |
2008-05-12 | Claudio Sacerdoti... | New implementation of CicEnvironment: | blob | commitdiff | raw | diff to current |
2008-05-01 | Claudio Sacerdoti... | List of all URIS comprising: | blob | commitdiff | raw | diff to current |
2008-04-22 | Enrico Tassi | more strict check by CSC, I miss it | blob | commitdiff | raw | diff to current |
2008-04-11 | Enrico Tassi | Type related failures fixed | blob | commitdiff | raw | diff to current |
2008-04-10 | Claudio Sacerdoti... | New: cache of translated fixpoints (to avoid the genera... | blob | commitdiff | raw | diff to current |
2008-04-07 | Enrico Tassi | commented out uris of objs that do not compile properly | blob | commitdiff | raw | diff to current |
2008-04-07 | Enrico Tassi | opt compilation enabled, removed some pps, check has... | blob | commitdiff | raw | diff to current |
2008-04-07 | Enrico Tassi | added a list of uris to ease debugging | blob | commitdiff | raw | diff to current |