lib/rouge/demos/coq in rouge-4.0.0 vs lib/rouge/demos/coq in rouge-4.0.1

@@ -8,6 +8,9 @@
     | nil => 0
     | _ :: ls => S (length ls)
     end.
 End with_T.
 
-Definition a_string := "hello \" world".
+Definition a_string := "hello
+world".
+Definition escape_string := "0123".
+Definition zero_string := "0".