Update for release 1.2

xavierleroy · Aug 22, 2019 · fc2bb9c · fc2bb9c
1 parent 9440b0b
commit fc2bb9c
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/Changes b/Changes
@@ -1,3 +1,7 @@
+Version 1.2, 2019-08-22 [for Coq 8.9, 8.8, 8.7, 8.6]
+- Fix unclosed element in page footer (PR#3).
+- Fix missing dependency in Makefile (PR#4).
+
 Version 1.1, 2018-07-10 [for Coq 8.8, 8.7, 8.6]
 - Fix handling of comments at beginning of line in proof scripts (PR#1).
 

diff --git a/README.md b/README.md
@@ -4,7 +4,7 @@
 
 coq2html is an HTML documentation generator for Coq source files. It is an alternative to the standard coqdoc documentation generator distributed along with Coq. The major feature of coq2html is its ability to fold proof scripts: in the generated HTML, proof scripts are initially hidden, but can be revealed one by one by clicking on the "Proof" keyword. Here is an example of [folding in action](http://compcert.inria.fr/doc/html/Memory.html#Mem.valid_access_dec).
 
-**Compatibility:** to produce cross-references, coq2html reads `.glob` files produced by Coq. The format of those files is undocumented and changes silently between major releases of Coq. The current version of coq2html is believed to be compatible with Coq 8.8, 8.7, and 8.6.
+**Compatibility:** to produce cross-references, coq2html reads `.glob` files produced by Coq. The format of those files is undocumented and changes silently between major releases of Coq. The current version of coq2html is believed to be compatible with Coq 8.9, 8.8, 8.7, and 8.6.
 
 **History:** coq2html was developed and originally distributed as part of the [CompCert](http://compcert.inria.fr/) project when it became clear that the coqdoc of the time was not able to format the CompCert Coq sources the desired way. This is the first release of coq2html as a stand-alone tool, independent from CompCert.