LARA

Differences

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

Link to this comparison view

Last revision Both sides next revision
cc18:amy_specification [2018/09/14 14:36]
romain created
cc18:amy_specification [2018/09/19 16:28]
georg.schmid
Line 1: Line 1:
 ===== The Amy Specification ===== ===== 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 ​{{:cc18:​amy-spec.pdf|here}}.