- From: David Carlisle <davidc@nag.co.uk>
- Date: Wed, 18 Jun 2014 11:18:58 +0100
- To: Andreas Kuckartz <a.kuckartz@ping.de>, "HTML WG (public-html@w3.org)" <public-html@w3.org>
On 18/06/2014 09:50, Andreas Kuckartz wrote: > I have been informed about a discussion regarding the decidability of > HTML validation: > http://chat.stackexchange.com/transcript/message/16132162#16132162 > > Has decidability been discussed here before? Has it been proven? > > Cheers, > Andreas > > I deny all knowledge of that conversation:-) In case anyone wonders it was basically a late night chat just explaining to a long time SGML/XML user that there isn't a formal DTD in HTML(5) as a change from the usual topics of that tex.stackexchange chat room which is the world cup, or the rules of cricket, or just occasionally, TeX. Not that the subject isn't interesting but there isn't any information at the above that is intended to be cited:-) David
Received on Wednesday, 18 June 2014 10:19:31 UTC