[University] Broken links on AdaCore University website

[Paul Jackson]

Dear AdaCore U,

on page
  
  http://university.adacore.com/papers/

the "Ada for C++ or Java Developer” link needs updating from

   http://www.adacore.com/knowledge/technical-papers/ada-for-the-c-or-java-developer/

to

  https://www.adacore.com/books/ada-for-the-c-or-java-developer

Also the "Safe and Secure Software: An Invitation to Ada 2012” link similarly needs updating.

Best wishes,

  Paul Jackson
  School of Informatics
  University of Edinburgh


-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.