From 9043add656177eeac1491a73d2f3ab92bec0013c Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sat, 29 Dec 2018 14:31:27 -0500 Subject: Imported Upstream version 8.8.2 --- test-suite/coqdoc/bug5700.html.out | 50 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 50 insertions(+) create mode 100644 test-suite/coqdoc/bug5700.html.out (limited to 'test-suite/coqdoc/bug5700.html.out') diff --git a/test-suite/coqdoc/bug5700.html.out b/test-suite/coqdoc/bug5700.html.out new file mode 100644 index 00000000..b96fc628 --- /dev/null +++ b/test-suite/coqdoc/bug5700.html.out @@ -0,0 +1,50 @@ + + + + + +Coqdoc.bug5700 + + + + +
+ + + +
+ +

Library Coqdoc.bug5700

+ +
+
+ +
+
foo (* bar *)
+ +
+
+Definition const1 := 1.
+ +
+
+ +
+
more (* nested (* comments *) within verbatim *)
+ +
+
+Definition const2 := 2.
+
+
+ + + +
+ + + \ No newline at end of file -- cgit v1.2.3