]>
2006-01-08 | Claudio Sacerdoti... | Added $Id$ to every .ml file. | blob | commitdiff | raw |
2005-11-04 | Stefano Zacchiroli | changed stack entry representation | blob | commitdiff | raw | diff to current |
2005-10-25 | Claudio Sacerdoti... | Semantic change: applying a tactic to the empty goal... | blob | commitdiff | raw | diff to current |
2005-10-25 | Stefano Zacchiroli | new tacticals | blob | commitdiff | raw | diff to current |
2005-10-25 | Claudio Sacerdoti... | Every exception that used to have type string is now... | blob | commitdiff | raw | diff to current |
2005-10-10 | Stefano Zacchiroli | - added stack frame tagging | blob | commitdiff | raw | diff to current |
2005-10-06 | Stefano Zacchiroli | changed functor interface, now based on proofs instead... | blob | commitdiff | raw | diff to current |
2005-10-06 | Stefano Zacchiroli | - better naming | blob | commitdiff | raw | diff to current |
2005-10-06 | Stefano Zacchiroli | first check in of continuationals implementation | blob | commitdiff | raw | diff to current |