Solving some problems with ReplicationChange

Some small enhancements to long certificates
fujaba · Nov 21, 2017 · 1c4e130 · 1c4e130
1 parent eb72b50
commit 1c4e130
Show file tree

Hide file tree

Showing 70 changed files with 14,603 additions and 4,803 deletions.
diff --git a/doc/BanfM2MTransformation.html b/doc/BanfM2MTransformation.html
diff --git a/doc/SokobanLevel1.html b/doc/SokobanLevel1.html
@@ -355,7 +355,7 @@
 ww..w
 wB..w
 wwwww
-</pre><p>Mon Nov 13 16:25:03 CET 2017 memory lazy keep certificates 1963216
+</pre><p>Wed Nov 15 09:08:15 CET 2017 memory lazy keep certificates 1970896 bytes 605 millis 
 </p>
 <script>
    var json = {