Merge pull request #20 from coq-community/update-web

update website sources for 1.1.1 release
coq-community · Oct 6, 2020 · 23d439c · 23d439c
2 parents 62ad0b7 + 56a650a
commit 23d439c
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 11 deletions.
diff --git a/extra/index.html b/extra/index.html
@@ -1,21 +1,26 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<!DOCTYPE html>
 <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
 <head>
-  <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
-  <meta http-equiv="Content-Style-Type" content="text/css" />
+  <meta charset="utf-8" />
   <meta name="generator" content="pandoc" />
+  <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
   <title>Regular Language Representations in Coq</title>
-  <style type="text/css">code{white-space: pre;}</style>
+  <style type="text/css">
+      code{white-space: pre-wrap;}
+      span.smallcaps{font-variant: small-caps;}
+      span.underline{text-decoration: underline;}
+      div.column{display: inline-block; vertical-align: top; width: 50%;}
+  </style>
   <style type="text/css"> body {font-family: Arial, Helvetica; margin-left: 5em; font-size: large;} </style>
   <style type="text/css"> h1 {margin-left: 0em; padding: 0px; text-align: center} </style>
   <style type="text/css"> h2 {margin-left: 0em; padding: 0px; color: #580909} </style>
   <style type="text/css"> h3 {margin-left: 1em; padding: 0px; color: #C05001;} </style>
   <style type="text/css"> body { width: 1100px; margin-left: 30px; }</style>
 </head>
 <body>
-<div id="header">
+<header id="title-block-header">
 <h1 class="title">Regular Language Representations in Coq</h1>
-</div>
+</header>
 <div style="text-align:left">
 <img src="https://github.githubassets.com/images/modules/logos_page/Octocat.png" height="25" style="border:0px"> <a href="https://github.com/coq-community/reglang">View the project on GitHub</a> <img src="https://github.githubassets.com/images/modules/logos_page/Octocat.png" height="25" style="border:0px">
 </div>
@@ -28,17 +33,18 @@ <h2 id="get-the-code">Get the code</h2>
 <h2 id="documentation">Documentation</h2>
 <p>The coqdoc presentations of releases can be browsed online:</p>
 <ul>
+<li><a href="docs/v1.1.1/coqdoc/toc.html">v1.1.1</a></li>
 <li><a href="docs/v1.1/coqdoc/toc.html">v1.1</a></li>
 </ul>
-<p>Other related publications, if any, are listed below.</p>
+<p>See also related publications:</p>
 <ul>
 <li><a href="https://hal.archives-ouvertes.fr/hal-01832031/document">Regular Language Representations in the Constructive Type Theory of Coq</a> doi:<a href="https://doi.org/10.1007/s10817-018-9460-x">10.1007/s10817-018-9460-x</a></li>
 </ul>
 <h2 id="help-and-contact">Help and contact</h2>
 <ul>
 <li>Report issues on <a href="https://github.com/coq-community/reglang/issues">GitHub</a></li>
-<li>Chat with us on <a href="https://gitter.im/coq-community/Lobby">Gitter</a></li>
-<li>Discuss with us on Coq's <a href="https://coq.discourse.group">Discourse</a> forum</li>
+<li>Chat with us on <a href="https://coq.zulipchat.com/#narrow/stream/237663-coq-community-devs.20.26.20users">Zulip</a></li>
+<li>Discuss with us on Coq’s <a href="https://coq.discourse.group">Discourse</a> forum</li>
 </ul>
 <h2 id="authors-and-contributors">Authors and contributors</h2>
 <ul>

diff --git a/extra/index.md b/extra/index.md
@@ -34,16 +34,17 @@ The current stable release of Regular Language Representations in Coq can be [do
 
 The coqdoc presentations of releases can be browsed online:
 
+- [v1.1.1](docs/v1.1.1/coqdoc/toc.html)
 - [v1.1](docs/v1.1/coqdoc/toc.html)
 
-Other related publications, if any, are listed below.
+See also related publications:
 
 - [Regular Language Representations in the Constructive Type Theory of Coq](https://hal.archives-ouvertes.fr/hal-01832031/document) doi:[10.1007/s10817-018-9460-x](https://doi.org/10.1007/s10817-018-9460-x)
 
 ## Help and contact
 
 - Report issues on [GitHub](https://github.com/coq-community/reglang/issues)
-- Chat with us on [Gitter](https://gitter.im/coq-community/Lobby)
+- Chat with us on [Zulip](https://coq.zulipchat.com/#narrow/stream/237663-coq-community-devs.20.26.20users)
 - Discuss with us on Coq's [Discourse](https://coq.discourse.group) forum
 
 ## Authors and contributors