Skip to content
Snippets Groups Projects
Commit 8fe1620e authored by Thomas Wood's avatar Thomas Wood
Browse files

resourcereasoning.com is not correctly https-enabled

parent 6c7aff4d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
research/concurrency.md
+ 1
− 1
View file @ 8fe1620e
......@@ -33,5 +33,5 @@ research fellow at the University of Aarhus.
[EP/K008528/1]: http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/K008528/1
[REMS]: http://www.cl.cam.ac.uk/~pes20/rems/
[EP/H008373/2]: http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/H008373/2
[Resource Reasoning]: https://www.resourcereasoning.com/
[Resource Reasoning]: http://www.resourcereasoning.com/
[Thomas Dinsdale-Young]: http://cs.au.dk/~tyoung/
research/javascript.md
+ 1
− 1
View file @ 8fe1620e
......@@ -46,7 +46,7 @@ interact extensively with [Arthur Charguéraud], [Alan Schmitt] and
[EP/K032089/1]: http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/K032089/1
[EP/H008373/2]: http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/H008373/2
[1]: https://verificationinstitute.org/project/certified-verification-of-client-side-web-programs/
[Resource Reasoning]: https://www.resourcereasoning.com/
[Resource Reasoning]: http://www.resourcereasoning.com/
[Arthur Charguéraud]: http://www.chargueraud.org/
[Alan Schmitt]: https://www.irisa.fr/celtique/aschmitt/
[Martin Bodin]: http://people.irisa.fr/Martin.Bodin/index.html?lang=en
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment