]>
2005-09-23 | Claudio Sacerdoti... | Dead code removed again!!! | blob | commitdiff | raw |
2005-09-23 | Enrico Tassi | added universes list handling | blob | commitdiff | raw | diff to current |
2005-09-22 | Claudio Sacerdoti... | Dead code removed | blob | commitdiff | raw | diff to current |
2005-09-21 | Enrico Tassi | clean_and_fill optimization | blob | commitdiff | raw | diff to current |
2005-01-21 | Stefano Zacchiroli | attributes support | blob | commitdiff | raw | diff to current |
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 |