- From: Ivan Herman via GitHub <sysbot+gh@w3.org>
 - Date: Tue, 14 Jun 2016 15:34:57 +0000
 - To: public-annotation@w3.org
 
Had to make changes on the python script producing turtle highlights; 
the generated HTML was not proper HTML. Indeed, it lead to a structure
 of the form:
```
<div ...>
   <pre ...>
      <div..>
         <pre...>
```
which is invalid. Modified the python script and the html source to 
get it right.
Cc: @azaroth42 
-- 
GitHub Notification of comment by iherman
Please view or discuss this issue at 
https://github.com/w3c/web-annotation/pull/303#issuecomment-225921158 
using your GitHub account
Received on Tuesday, 14 June 2016 15:34:58 UTC