]>
2013-02-01 | Ferruccio Guidi | - ng_refiner: | blob | commitdiff | raw |
2011-06-03 | Claudio Sacerdoti... | The pretty printer should never fail, even on fake... | blob | commitdiff | raw | diff to current |
2011-04-05 | Ferruccio Guidi | we added an nmap from NCic.obj to NotationPt.obj (to... | blob | commitdiff | raw | diff to current |
2011-01-11 | Claudio Sacerdoti... | HUGE COMMIT: | blob | commitdiff | raw | diff to current |
2010-11-18 | Andrea Asperti | Number notation ported to new library. | blob | commitdiff | raw | diff to current |
2010-11-05 | Claudio Sacerdoti... | Bug fixed: an assert false was raised before giving... | blob | commitdiff | raw | diff to current |
2010-11-04 | Claudio Sacerdoti... | - content/interpretations.ml and ng_cic_content/nTermCi... | blob | commitdiff | raw | diff to current |