author | Luc Moreau <l.moreau@ecs.soton.ac.uk> |
Mon, 03 Sep 2012 16:39:51 +0100 | |
changeset 4394 | 5baf4af96bed |
parent 4393 | 74c61c8d8598 |
child 4395 | 64d7a693b63d |
model/prov-constraints.html |
--- a/model/prov-constraints.html Mon Sep 03 16:38:55 2012 +0100 +++ b/model/prov-constraints.html Mon Sep 03 16:39:51 2012 +0100 @@ -4726,9 +4726,9 @@ edges, and the dashed edges are <em>special</em> edges. </li> </ul> - </p> + - <img src="weak-acyclic-6.svg" text="Graph illustrating weak + <img src="weak-acyclic-6.svg" alt="Graph illustrating weak acyclicity of stage 6"/> <p><b>Termination for instances with attributes.</b>