Skip to content

C
cpdt
Commit 31cc32db authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

New release

parent 0d71505b
Show whitespace changes
Inline Side-by-side
Showing with 2 additions and 2 deletions
staging/index.html
View file @ 31cc32db
...@@ -29,9 +29,9 @@ ...@@ -29,9 +29,9 @@
<div class="project"> <div class="project">
<h2>Status</h2> <h2>Status</h2>
<p>Updated on November 16, 2009 with a version retargeted to Coq 8.2pl1. Last incremental update on December 11, 2009.</p> <p>Updated on November 16, 2009 with a version retargeted to Coq 8.2pl1. Last incremental update on December 16, 2009.</p>
<p>Some chapters on programming languages and compilers are empty or just contain Coq code; these should be filled in soon-ish. Additional plans: a chapter on best practices with dependent De Bruijn syntax.</p> <p>Some chapters on programming languages and compilers are empty; these should be filled in soon-ish. Additional plans: a chapter on best practices with dependent de Bruijn syntax.</p>
</div> </div>
</body></html> </body></html>
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment