fix URL rendering for VAMP cpu links

diff --git a/resources.mdwn b/resources.mdwn
index d3c0151d36ec36f423854a2cfa204edfb319450b..e457e92457f21ee335c39e06f36e76a71b475a61 100644 (file)
--- a/resources.mdwn
+++ b/resources.mdwn
@@ -328,11 +328,11 @@ Some learning resources I found in the community:
 VAMP CPU
 
 * Formal verification of a fully IEEE compliant floating point unit
-https://publikationen.sulb.uni-saarland.de/bitstream/20.500.11880/25760/1/ChristianJacobi_ProfDrWolfgangJPaul.pdf
-* https://www-wjp.cs.uni-sb.de/forschung/projekte/VAMP/?lang=en
+<https://publikationen.sulb.uni-saarland.de/bitstream/20.500.11880/25760/1/ChristianJacobi_ProfDrWolfgangJPaul.pdf>
+* <https://www-wjp.cs.uni-sb.de/forschung/projekte/VAMP/?lang=en>
 * the PVS/hw subfolder is under the 2-clause BSD license:
-    https://www-wjp.cs.uni-sb.de/forschung/projekte/VAMP/PVS/hw/COPYRIGHT
-* https://alastairreid.github.io/RelatedWork/papers/beyer:ijsttt:2006/
+    <https://www-wjp.cs.uni-sb.de/forschung/projekte/VAMP/PVS/hw/COPYRIGHT>
+* <https://alastairreid.github.io/RelatedWork/papers/beyer:ijsttt:2006/>
 
 ## Automation