recipes: Fix a typo

cpitclaudel · Dec 5, 2020 · ab9cecd · ab9cecd
1 parent 8e76787
commit ab9cecd
Show file tree

Hide file tree

Showing 8 changed files with 24 additions and 24 deletions.
diff --git a/recipes/document.v.rst b/recipes/document.v.rst
@@ -1,6 +1,6 @@
-==================================================================
- Forget abut strengthening induction hypotheses: write fixpoints!
-==================================================================
+===================================================================
+ Forget about strengthening induction hypotheses: write fixpoints!
+===================================================================
 
 Here's an *inductive specification* of evenness:
 

diff --git a/recipes/literate.v b/recipes/literate.v
@@ -1,7 +1,7 @@
 (*|
-==================================================================
- Forget abut strengthening induction hypotheses: write fixpoints!
-==================================================================
+===================================================================
+ Forget about strengthening induction hypotheses: write fixpoints!
+===================================================================
 
 Here's an *inductive specification* of evenness:
 |*)

diff --git a/recipes/output/document.html b/recipes/output/document.html
@@ -4,7 +4,7 @@
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
 <meta name="generator" content="Docutils 0.16: http://docutils.sourceforge.net/" />
-<title>Forget abut strengthening induction hypotheses: write fixpoints!</title>
+<title>Forget about strengthening induction hypotheses: write fixpoints!</title>
 <link rel="stylesheet" href="alectryon.css" type="text/css" />
 <link rel="stylesheet" href="docutils_basic.css" type="text/css" />
 <link rel="stylesheet" href="tango_subtle.css" type="text/css" />
@@ -14,8 +14,8 @@
 <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/firacode/5.2.0/fira_code.min.css" integrity="sha512-MbysAYimH1hH2xYzkkMHB6MqxBqfP0megxsCLknbYqHVwXTCg9IqHbk+ZP/vnhO8UEW6PaXAkKe2vQ+SWACxxA==" crossorigin="anonymous" />
 </head>
 <body>
-<div class="alectryon-root alectryon-centered"><div class="document" id="forget-abut-strengthening-induction-hypotheses-write-fixpoints">
-<h1 class="title">Forget abut strengthening induction hypotheses: write fixpoints!</h1>
+<div class="alectryon-root alectryon-centered"><div class="document" id="forget-about-strengthening-induction-hypotheses-write-fixpoints">
+<h1 class="title">Forget about strengthening induction hypotheses: write fixpoints!</h1>
 
 <p>Here's an <em>inductive specification</em> of evenness:</p>
 <pre class="alectryon-io"><!-- Generator: Alectryon v0.2 --><span class="coq-sentence"><span class="coq-input"><span class="highlight"><span class="kn">Inductive</span> <span class="nf">Even</span> : nat -&gt; <span class="kt">Prop</span> :=

diff --git a/recipes/output/document.minimal.html b/recipes/output/document.minimal.html
@@ -4,7 +4,7 @@
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
 <meta name="generator" content="Docutils 0.16: http://docutils.sourceforge.net/" />
-<title>Forget abut strengthening induction hypotheses: write fixpoints!</title>
+<title>Forget about strengthening induction hypotheses: write fixpoints!</title>
 <style type="text/css">
 
 /*
@@ -360,8 +360,8 @@
 </style>
 </head>
 <body>
-<div class="document" id="forget-abut-strengthening-induction-hypotheses-write-fixpoints">
-<h1 class="title">Forget abut strengthening induction hypotheses: write fixpoints!</h1>
+<div class="document" id="forget-about-strengthening-induction-hypotheses-write-fixpoints">
+<h1 class="title">Forget about strengthening induction hypotheses: write fixpoints!</h1>
 
 <p>Here's an <em>inductive specification</em> of evenness:</p>
 <pre class="code coq literal-block">

diff --git a/recipes/output/document.v b/recipes/output/document.v
@@ -1,7 +1,7 @@
 (*|
-==================================================================
- Forget abut strengthening induction hypotheses: write fixpoints!
-==================================================================
+===================================================================
+ Forget about strengthening induction hypotheses: write fixpoints!
+===================================================================
 
 Here's an *inductive specification* of evenness:
 |*)

diff --git a/recipes/output/literate.html b/recipes/output/literate.html
@@ -4,7 +4,7 @@
 <head>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
 <meta name="generator" content="Docutils 0.16: http://docutils.sourceforge.net/" />
-<title>Forget abut strengthening induction hypotheses: write fixpoints!</title>
+<title>Forget about strengthening induction hypotheses: write fixpoints!</title>
 <link rel="stylesheet" href="alectryon.css" type="text/css" />
 <link rel="stylesheet" href="docutils_basic.css" type="text/css" />
 <link rel="stylesheet" href="tango_subtle.css" type="text/css" />
@@ -14,8 +14,8 @@
 <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/firacode/5.2.0/fira_code.min.css" integrity="sha512-MbysAYimH1hH2xYzkkMHB6MqxBqfP0megxsCLknbYqHVwXTCg9IqHbk+ZP/vnhO8UEW6PaXAkKe2vQ+SWACxxA==" crossorigin="anonymous" />
 </head>
 <body>
-<div class="alectryon-root alectryon-centered"><div class="document" id="forget-abut-strengthening-induction-hypotheses-write-fixpoints">
-<h1 class="title">Forget abut strengthening induction hypotheses: write fixpoints!</h1>
+<div class="alectryon-root alectryon-centered"><div class="document" id="forget-about-strengthening-induction-hypotheses-write-fixpoints">
+<h1 class="title">Forget about strengthening induction hypotheses: write fixpoints!</h1>
 
 <p>Here's an <em>inductive specification</em> of evenness:</p>
 <pre class="alectryon-io"><!-- Generator: Alectryon v0.2 --><span class="coq-sentence"><span class="coq-input"><span class="highlight"><span class="kn">Inductive</span> <span class="nf">Even</span> : nat -&gt; <span class="kt">Prop</span> :=

diff --git a/recipes/output/literate.v.html b/recipes/output/literate.v.html
@@ -75,9 +75,9 @@
 .highlight .vi { color: #ce5c00 } /* Name.Variable.Instance */
 .highlight .vm { color: #ce5c00 } /* Name.Variable.Magic */
 .highlight .il { color: #2e3436 } /* Literal.Number.Integer.Long */</style></head><body><article class="alectryon-root alectryon-centered"><pre class="alectryon-io"><!-- Generator: Alectryon v0.2 --><span class="coq-wsp"><span class="highlight"><span class="sd">(*|</span>
-<span class="sd">==================================================================</span>
-<span class="sd"> Forget abut strengthening induction hypotheses: write fixpoints!</span>
-<span class="sd">==================================================================</span>
+<span class="sd">===================================================================</span>
+<span class="sd"> Forget about strengthening induction hypotheses: write fixpoints!</span>
+<span class="sd">===================================================================</span>
 
 <span class="sd">Here&#39;s an *inductive specification* of evenness:</span>
 <span class="sd">|*)</span>

diff --git a/recipes/output/literate.v.rst b/recipes/output/literate.v.rst
@@ -1,6 +1,6 @@
-==================================================================
- Forget abut strengthening induction hypotheses: write fixpoints!
-==================================================================
+===================================================================
+ Forget about strengthening induction hypotheses: write fixpoints!
+===================================================================
 
 Here's an *inductive specification* of evenness: