]>
2005-01-21 | Stefano Zacchiroli | attributes support | blob | commitdiff | raw |
2005-01-17 | Enrico Tassi | new cicEnvironment implementation | blob | commitdiff | raw | diff to current |
2005-01-12 | Enrico Tassi | fixed bug in fill_and_clean (now the helper universes_o... | blob | commitdiff | raw | diff to current |
2005-01-11 | Stefano Zacchiroli | added clean_and_fill, to be invoked on qed | 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 |