]>
2023-02-14 | Claudio Sacerdoti... | Use of standard OCaml syntax | blob | commitdiff | raw |
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-04 | Claudio Sacerdoti... | Minor code uniformization. | blob | commitdiff | raw | diff to current |
2010-11-04 | Claudio Sacerdoti... | Minor code clean-up to simplify module dependencies. | 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 |