Coq-zh
diff --git a/‎lf-current/index.html‎
Lines changed: 1 addition & 1 deletion b/‎lf-current/index.html‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎lf-current/lf.tgz‎
5.45 KB b/‎lf-current/lf.tgz‎
5.45 KB
diff --git a/‎plf-current/Bib.html‎
Lines changed: 3 additions & 3 deletions b/‎plf-current/Bib.html‎
Lines changed: 3 additions & 3 deletions
diff --git a/‎plf-current/Bib.v‎
Lines changed: 2 additions & 2 deletions b/‎plf-current/Bib.v‎
Lines changed: 2 additions & 2 deletions
@@ -83,7 +83,7 @@
             <div class="button"><a href="toc.html">阅读</a></div><br />
             <div class="button"><a href="lf.tgz">下载</a></div>
           </div>
-          <p>版本 5.5 (31 Jul 2018, Coq 8.8.0)</p>
+          <p>版本 5.5 (02 Aug 2018, Coq 8.8.0)</p>
 
         </div>
       </div>
 
@@ -4,7 +4,7 @@
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
 <link href="common/css/sf.css" rel="stylesheet" type="text/css"/>
-<title>Bib: Bibliography</title>
+<title>Bib: 参考文献</title>
 </head>
 <link href="common/jquery-ui/jquery-ui.css" rel="stylesheet">
 <script src="common/jquery-ui/external/jquery/jquery.js"></script>
@@ -29,14 +29,14 @@
 
 <div id="main">
 
-<h1 class="libtitle">Bib<span class="subtitle">Bibliography</span></h1>
+<h1 class="libtitle">Bib<span class="subtitle">参考文献</span></h1>
 
 
 <div class="doc">
 
 <div class="paragraph"> </div>
 
-<a name="lab597"></a><h1 class="section">Resources cited in this volume</h1>
+<a name="lab597"></a><h1 class="section">本卷中出现的引用</h1>
 
 <div class="paragraph"> </div>
 
 
@@ -1,7 +1,7 @@
-(** * Bib: Bibliography *)
+(** * Bib: 参考文献 *)
 
 (* ################################################################# *)
-(** * Resources cited in this volume *)
+(** * 本卷中出现的引用 *)
 
 (**