Commit 8fed44e6 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Pragma optmatch omitted, Constraint replace by Success,

literate programming added and some more minor changes
parent 2ab78c20
This diff is collapsed.
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