]>
2006-06-21 | Enrico Tassi | added the geniric | blob | commitdiff | raw |
2006-05-25 | Claudio Sacerdoti... | Added debug menu item to restrict disambiguation to... | blob | commitdiff | raw | diff to current |
2006-03-07 | Stefano Zacchiroli | - added an hack to load sequents viewer's mathml from... | blob | commitdiff | raw | diff to current |
2006-02-21 | Claudio Sacerdoti... | Coercions are now hidden by default (in termAcicContent.ml) | blob | commitdiff | raw | diff to current |
2006-02-17 | Enrico Tassi | Sys.command -> Unix.system | blob | commitdiff | raw | diff to current |
2006-02-15 | Enrico Tassi | added support for "polymorphic" coercions | blob | commitdiff | raw | diff to current |
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | blob | commitdiff | raw | diff to current |