• Sylvain Dailler's avatar
    Fix issue #190 · c1dde87a
    Sylvain Dailler authored
    Exceptions from transformations are of two kinds:
    - fatal exception which are then raised into a popup in the ide
    - normal exception which appears in the message view
    c1dde87a
itp_server.ml 57.3 KB