W3C Editors homepage
Create Diff between HTML pages
An error (I/O error: None None) occured trying to get https://pr-preview.s3.amazonaws.com/w3c/webauthn/pull/719.html.
Tip: if the document uses the W3C convention on linking to its previous version, you can specify only the address of the new document — the previous link will be automatically detected.
Diff markings
This service relies on GNU diff. The found differences are roughly marked as follow:
- deleted text is shown in pink with down-arrows (as styled for a <del> element)
- where there is replacement, it’s shown in green with bi-directional arrows,
- where there is newly inserted text, it’s yellow with up arrows (<ins> element)
script $Revision: 1.64 $ of $Date: 2017/10/16 10:21:39 $
by Dominique Hazaël-Massieux
based on Shane McCarron’ Perl script wrapped in a Python CGI