| 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>