From f0e05fca8553b97f65c3102090848b8c4cf9e609 Mon Sep 17 00:00:00 2001 From: Alec Theriault Date: Thu, 18 Oct 2018 08:25:36 -0700 Subject: Accept tests --- html-test/ref/Bug574.html | 10 ++++++---- html-test/ref/ConstructorArgs.html | 10 ++++++---- html-test/ref/GadtConstructorArgs.html | 10 ++++++---- html-test/ref/QuantifiedConstraints.html | 10 ++++++---- html-test/ref/Table.html | 18 +++++++++--------- html-test/ref/TypeFamilies3.html | 10 ++++++---- html-test/ref/Unicode2.html | 10 ++++++---- 7 files changed, 45 insertions(+), 33 deletions(-) diff --git a/html-test/ref/Bug574.html b/html-test/ref/Bug574.html index ed0a5e15..ab24218e 100644 --- a/html-test/ref/Bug574.html +++ b/html-test/ref/Bug574.html @@ -1,9 +1,11 @@ Bug574
ConstructorArgs
GadtConstructorArgs
QuantifiedConstraints
Header row, column 1 + > Header row, column 1 (header rows optional) Header 2 + > Header 2 Header 3 + > Header 3 Header 4 + > Header 4 body row 3 Cells may - span rows. + > Cells may + span rows. \[ - f(n) = \sum_{i=1} + > \[ + f(n) = \sum_{i=1} \]
+> \ No newline at end of file diff --git a/html-test/ref/TypeFamilies3.html b/html-test/ref/TypeFamilies3.html index 2dadf435..fa270191 100644 --- a/html-test/ref/TypeFamilies3.html +++ b/html-test/ref/TypeFamilies3.html @@ -1,9 +1,11 @@ TypeFamilies3
Unicode2