diff --git a/doc/eva/main.tex b/doc/eva/main.tex index a54f9ca522a95a1e2ae9832ed41a564e2a529ad7..070536757add2f04e43d7b290e491011555a17c2 100644 --- a/doc/eva/main.tex +++ b/doc/eva/main.tex @@ -1120,7 +1120,7 @@ The latter condition is harder than the former. Observing results (with the GUI or observation functions described in section \ref{buitins_observation}) can help to iterate towards a solution. Be creative. The continuation of this tutorial can be found online -at \url{http://blog.frama-c.com/index.php?tag/skein}\footnote{Note that some +at \url{https://frama-c.com/category/skein/}\footnote{Note that some messages and options have changed since the tutorial was posted. Using an older Frama-C version may be necessary to obtain similar results.} ; read available posts in chronological order.