diff mbox series

[wwwdocs] readings.html - update link

Message ID alpine.LSU.2.21.1809011534130.6216@anthias.pfeifer.com
State New
Headers show
Series [wwwdocs] readings.html - update link | expand

Commit Message

Gerald Pfeifer Sept. 1, 2018, 1:34 p.m. UTC 
...to "A formal model of sequence points and related issues".

Committed.

Gerald
diff mbox series

Patch

Index: readings.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/readings.html,v
retrieving revision 1.298
diff -u -r1.298 readings.html
--- readings.html	1 Sep 2018 11:56:19 -0000	1.298
+++ readings.html	1 Sep 2018 13:33:58 -0000
@@ -348,7 +348,7 @@ 
     <li><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/n925.htm">
     A formal model of sequence points and related issues by
     Clive Feather</a></li>
-    <li><a href="http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-453.pdf">
+    <li><a href="https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-453.pdf">
     C formalised in HOL, thesis by Michael Norrish</a></li>
     <li><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/n926.htm">
     Sequence points analysis by Raymond Mak</a></li>