Fixup the documentation.

This commit is contained in:
Salvatore Filippone
2018-05-14 14:32:48 +01:00
parent 8ee76a1a82
commit 4b43164668
138 changed files with 1396 additions and 1295 deletions
+3 -3
View File
@@ -1,6 +1,6 @@
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<!--Converted with LaTeX2HTML 2017.2 (Released Jan 23, 2017) -->
<!--Converted with LaTeX2HTML 2018 (Released Feb 1, 2018) -->
<HTML>
<HEAD>
<TITLE>Code Distribution</TITLE>
@@ -9,7 +9,7 @@
<META NAME="resource-type" CONTENT="document">
<META NAME="distribution" CONTENT="global">
<META NAME="Generator" CONTENT="LaTeX2HTML v2017.2">
<META NAME="Generator" CONTENT="LaTeX2HTML v2018">
<META HTTP-EQUIV="Content-Style-Type" CONTENT="text/css">
<LINK REL="STYLESHEET" HREF="userhtml.css">
@@ -80,7 +80,7 @@ constant
-->
<IMG
WIDTH="172" HEIGHT="31" BORDER="0"
WIDTH="173" HEIGHT="31" BORDER="0"
SRC="img4.png"
ALT="\begin{displaymath}\verb\vert mld_version_string_\vert\end{displaymath}">
</DIV>