Diskussion:Coq (Software)

Links/Literatur Bearbeiten

Letzter Kommentar: vor 3 Jahren3 Kommentare2 Personen sind an der Diskussion beteiligt

Ist es redundant, die URL von Software Foundations sowohl bei Weblinks als auch Literatur anzugeben?

Megamanisepic (Diskussion) 10:45, 28. Mai 2020 (CEST)Beantworten

Ich dachte: ja, das ist redundant, deshalb habe ich die URL nur in der Literatur angegeben. Auch deshalb, weil es sich wirklich um einen Link zu einem Buch, eben einem Online-Buch handelt. Aber wenn Du meinst, dass es sinnvoll ist, die URL auch in die Weblinks wieder aufzunehmen, kann ich das gerne tun. --Paul Setzer (Diskussion) 11:27, 28. Mai 2020 (CEST)Beantworten

Nein, so hätte ich es auch gemacht, es war mir nur nicht ganz klar. Megamanisepic (Diskussion) 14:48, 28. Mai 2020 (CEST)Beantworten

Abschnitt hinzufügen