]>
2003-04-16 | Claudio Sacerdoti... | * Hbugs interface clean-up. | blob | commitdiff | raw |
2003-02-20 | Stefano Zacchiroli | - added HBugs notification after tactic application | blob | commitdiff | raw | diff to current |
2003-02-04 | Michele Galatà | Added buttons for new tactics Injection and Discriminate | blob | commitdiff | raw | diff to current |
2003-01-31 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
2003-01-31 | Claudio Sacerdoti... | The scratch window is now based on the sequent_viewer... | blob | commitdiff | raw | diff to current |
2003-01-31 | Claudio Sacerdoti... | Major module reorganization: | blob | commitdiff | raw | diff to current |