Commit aaa40d4e authored by bguillaum's avatar bguillaum
Browse files

version 0.35: debug_loop and function for grewpy

git-svn-id: svn+ssh:// 7838e531-6607-4d57-9587-6c381814729c
parent df4cba18
Version 0.35 (2016/07/14)
* add the debug_loop flag (when a loop is suspected graph is considered as a normal form, such that it is possible to see it in the GUI)
* new functions in libgrew.mli for Grewpy:
- Graph.of_gr
- Rewrite.get_graphs
* improve error reporting
Version 0.34.4 (2016/05/19)
Bug fix again… introduced in previous version
Supports Markdown
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