From c69c262406175d6771f93eb17a94b01ecfa75441 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Sun, 24 Jun 2018 10:37:12 +0200
Subject: [PATCH] Fix invalid html.

---
 examples/patience.mlw                       | 14 +++++++-------
 examples/verifythis_2015_relaxed_prefix.mlw |  2 +-
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/examples/patience.mlw b/examples/patience.mlw
index ba5028add..ba7cfc23b 100644
--- a/examples/patience.mlw
+++ b/examples/patience.mlw
@@ -16,13 +16,13 @@ numbers instead of cards. If the input sequence is 9, 7, 10, 9, 5, 4,
 and 10, then the stacks develop as
 
 {h <pre>}
-<[[9]]>
-<[[7, 9]]>
-<[[7, 9]], [[10]]>
-<[[7, 9]], [[9, 10]]>
-<[[5, 7, 9]], [[9, 10]]>
-<[[4, 5, 7, 9]], [[9, 10]]>
-<[[4, 5, 7, 9]], [[9, 10]], [[10]]>
+&lt;[[9]]&gt;
+&lt;[[7, 9]]&gt;
+&lt;[[7, 9]], [[10]]&gt;
+&lt;[[7, 9]], [[9, 10]]&gt;
+&lt;[[5, 7, 9]], [[9, 10]]&gt;
+&lt;[[4, 5, 7, 9]], [[9, 10]]&gt;
+&lt;[[4, 5, 7, 9]], [[9, 10]], [[10]]&gt;
 {h </pre>}
 
 Verify the claim is that the number of stacks at the end of the game
diff --git a/examples/verifythis_2015_relaxed_prefix.mlw b/examples/verifythis_2015_relaxed_prefix.mlw
index a76ea6958..49226eb18 100644
--- a/examples/verifythis_2015_relaxed_prefix.mlw
+++ b/examples/verifythis_2015_relaxed_prefix.mlw
@@ -46,7 +46,7 @@ public class Relaxed {
     public static boolean isRelaxedPrefix(int[] pat, int[] a) {
         int shift = 0;
 
-        for(int i=0; i<pat.length; i++) {
+        for(int i=0; i&lt;pat.length; i++) {
             if (pat[i]!=a[i-shift])
                 if (shift==0) shift=1;
                     else return false;
-- 
GitLab