Versione delle 16:32, 26 ott 2018 modifica LauBot (discussione \| contributi) Bot 870 120 modifiche m Sostituisco Collegamenti esterni ai vecchi template e rimuovo alcuni duplicati ← Differenza precedente		Versione delle 20:30, 25 apr 2019 modifica annulla LauBot (discussione \| contributi) Bot 870 120 modifiche m Bot: passaggio degli url da HTTP a HTTPS Differenza successiva →
Riga 28: == Collegamenti esterni == * {{Collegamenti esterni}} * {{cita web\|~~http~~https://libre.adacore.com/\|AdaCore Libre site}} * {{cita web\|http://university.adacore.com\|AdaCore University}} * {{cita web\|http://www.oss-in-atm.info/20051207/09-gasperoni.php\|COTS, FLOSS, and Market Freedom in Safety-Centric Industries}}

AdaCore: differenze tra le versioni