annotate tests/hello.html @ 2196:100352dbae36

Fix tricky case of functor signature subsumption
author Adam Chlipala <adam@chlipala.net>
date Fri, 27 Nov 2015 15:28:12 -0500
parents 728aaeea12fd
children
rev   line source
adam@2164 1 <?xml version="1.0" encoding="utf-8" ?>
adam@2164 2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
adam@2164 3 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
adam@2164 4 <head>
adam@2164 5 <title>Hello world!</title>
adam@2164 6 </head>
adam@2164 7 <body>
adam@2164 8 <h1>Hello world!</h1>
adam@2164 9 </body>
adam@2164 10 </html>