Mercurial > cpdt > repo
diff staging/index.html @ 332:4a432659a698
Remove Part IV
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Mon, 03 Oct 2011 11:15:51 -0400 |
parents | a9edc6ecd904 |
children | 03e200599633 |
line wrap: on
line diff
--- a/staging/index.html Sun Oct 02 16:34:15 2011 -0400 +++ b/staging/index.html Mon Oct 03 11:15:51 2011 -0400 @@ -47,7 +47,7 @@ <p>The main omissions have to do with some supporting resources that I didn't get around to implementing when I used this book for a course. Some suggested exercises are present, but only at points where I was looking to assign an exercise in the course. Some chapters are lacking the annotations used to build reduced versions of their source code, where some definitions and proofs have been elided; the course instructor can step through such a file, guiding class participants in filling in the omitted code.</p> -<p>My current tentative plan is to separate out the final part, on programming languages and compilers, into a distinct, online-only document, but I might be persuaded otherwise.</p> +<p>Previous versions included a final Part on programming language semantics in particular. I have decided to separate that part out. I plan to put it up as a supplementary resource eventually; for now it is simply removed. (It remains present in the <a href="repo">Mercurial</a> history.)</p> </div> </body></html>