diff options
Diffstat (limited to 'Master/texmf-dist/doc/generic/xint/README.html')
-rw-r--r-- | Master/texmf-dist/doc/generic/xint/README.html | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Master/texmf-dist/doc/generic/xint/README.html b/Master/texmf-dist/doc/generic/xint/README.html index 83b7a568fd8..57595e52b2a 100644 --- a/Master/texmf-dist/doc/generic/xint/README.html +++ b/Master/texmf-dist/doc/generic/xint/README.html @@ -4,11 +4,11 @@ <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> <meta http-equiv="Content-Style-Type" content="text/css" /> <meta name="generator" content="pandoc" /> - <meta name="author" content="xint 1.2g" /> + <meta name="author" content="xint 1.2h" /> <title>README</title> <style type="text/css">code{white-space: pre;}</style> <style type="text/css"> - body{margin-left : 10%; margin-right : 15%; margin-top: 4ex; font-size: 14pt;} + body{margin-left : 10%; margin-right : 15%; margin-top: 4ex; font-size: 12pt;} pre {white-space: pre-wrap; } code {white-space: pre-wrap; } .mono {font-family: monospace;} @@ -17,8 +17,8 @@ <body> <div id="header"> <h1 class="title">README</h1> -<h2 class="author">xint 1.2g</h2> -<h3 class="date">2016/03/19</h3> +<h2 class="author">xint 1.2h</h2> +<h3 class="date">2016/11/20</h3> </div> <div id="TOC"> <ul> @@ -36,7 +36,7 @@ <li><a href="#license">License</a></li> </ul> </div> -<pre><code>Source: xint.dtx 1.2g 2016/03/19 (doc 2016/03/19) +<pre><code>Source: xint.dtx 1.2h 2016/11/20 (doc 2016/11/20) Author: Jean-Francois Burnol Info: Expandable operations on big integers, decimals, fractions License: LPPL 1.3c</code></pre> |