]>
2005-09-08 | Stefano Zacchiroli | uses Map.equal to compare universes | blob | commitdiff | raw |
2005-06-13 | Enrico Tassi | moved to xmlPushParser | blob | commitdiff | raw | diff to current |
2005-04-29 | Enrico Tassi | added the orrible hack to the parser that is needed... | blob | commitdiff | raw | diff to current |
2005-04-29 | Enrico Tassi | added orrible hack to make the current uri visible... | blob | commitdiff | raw | diff to current |
2005-04-29 | Stefano Zacchiroli | added assertions about graph in the environment having... | blob | commitdiff | raw | diff to current |
2005-04-27 | Stefano Zacchiroli | added re-hash-consing of URIs embedded in universes | 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-06-01 | Enrico Tassi | new universes implementation | blob | commitdiff | raw | diff to current |
2004-04-23 | Enrico Tassi | Universes introduction | blob | commitdiff | raw | diff to current |