Mercurial > cpdt > repo
diff src/Firstorder.v @ 153:8c19768f1a1a
Fix some uglyness
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 02 Nov 2008 12:20:56 -0500 |
parents | 8157e8e28e2e |
children | 358dcb6e08f2 |
line wrap: on
line diff
--- a/src/Firstorder.v Sun Nov 02 12:16:55 2008 -0500 +++ b/src/Firstorder.v Sun Nov 02 12:20:56 2008 -0500 @@ -16,9 +16,9 @@ (* end hide *) -(** %\section{Formalizing Programming Languages and Compilers} +(** %\part{Formalizing Programming Languages and Compilers} - \chapter{First-Order Variable Representations}% *) + \chapter{First-Order Abstract Syntax}% *) (** TODO: Prose for this chapter *)