]>
2005-01-21 | Stefano Zacchiroli | - attributes support | blob | commitdiff | raw |
2005-01-17 | Enrico Tassi | new cicEnvironment implementation | blob | commitdiff | raw | diff to current |
2004-12-01 | Enrico Tassi | Added universes handling. The PRE_UNIVERSES tag may... | blob | commitdiff | raw | diff to current |
2004-02-06 | Stefano Zacchiroli | added annotations to Cic.Implicit | blob | commitdiff | raw | diff to current |
2003-09-05 | Claudio Sacerdoti... | Defs in context may now have an optional type (when... | blob | commitdiff | raw | diff to current |
2003-06-19 | Claudio Sacerdoti... | Merge of the V7_3_new_exportation branch. | blob | commitdiff | raw | diff to current |