Differences

This shows you the differences between two versions of the page.

--- cc18:amy_specification [2018/09/14 14:36]
romain created
+++ cc18:amy_specification [2018/09/19 18:01] (current)
georg.schmid
@@ Line 1: / Line 1: @@
 ===== The Amy Specification =====
-You can access the Amy specification document [[http://lara.epfl.ch/~koukouto/clp17/amy-spec.pdf|here]].
+You can access the Amy specification document [[http://lara.epfl.ch/~gschmid/clp18/amy-spec.pdf|here]].