Discussione:Sistema Mizar
Vai alla navigazione
Vai alla ricerca
Collegamenti esterni modificati[modifica wikitesto]
Gentili utenti,
ho appena modificato 1 collegamento esterno sulla pagina Sistema Mizar. Per cortesia controllate la mia modifica. Se avete qualche domanda o se fosse necessario far sì che il bot ignori i link o l'intera pagina, date un'occhiata a queste FAQ. Ho effettuato le seguenti modifiche:
- Aggiunta del link all'archivio https://web.archive.org/web/20041013204102/http://www.cs.kun.nl/~freek/mizar/ per http://www.cs.kun.nl/~freek/mizar/
Fate riferimento alle FAQ per informazioni su come correggere gli errori del bot.
Saluti.—InternetArchiveBot (Segnala un errore) 13:03, 25 dic 2019 (CET)
Collegamenti esterni interrotti[modifica wikitesto]
Una procedura automatica ha modificato uno o più collegamenti esterni ritenuti interrotti:
- Aggiunta del link all'archivio https://web.archive.org/web/20081011225147/http://www.mizar.org/people/romat/MatRud2005.pdf per http://mizar.org/people/romat/MatRud2005.pdf
In caso di problemi vedere le FAQ.—InternetArchiveBot (Segnala un errore) 15:09, 1 set 2020 (CEST)