put the example in the right place ...

1a1aa418 · Quentin Garchery · d36d163b · 1a1aa418 · 1a1aa418 · 1a1aa418
Commit 1a1aa418 authored Feb 15, 2019 by Quentin Garchery
3 changed files
--- a/three_idem_ring.mlw
+++ b/three_idem_ring.mlw
--- a/three_idem_ring/why3session.xml
+++ b/three_idem_ring/why3session.xml
--- a/three_idem_ring/why3shapes.gz
+++ b/three_idem_ring/why3shapes.gz