Commit a88bcfdf authored by MARCHE Claude's avatar MARCHE Claude

update CHANGES

parent aec436a8
......@@ -5,7 +5,10 @@ Version 0.88.1, ?, 2017
===============================
API
o export function [forward_results] in [Call_prover] interface
o export function [forward_results] in [Call_provers] interface
Provers
o improved support for Isabelle 2017
Version 0.88.0, October 6, 2017
===============================
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment