# HG changeset patch # User Adam Chlipala # Date 1548017071 18000 # Node ID c3d4217e1da736bac8eb9c62247ac1c2f1b4f25f # Parent 0ce9829efa3b41a67fbb6eed962af138e88e6756 Add photo of young scholar diff -r 0ce9829efa3b -r c3d4217e1da7 staging/index.html --- a/staging/index.html Sun Jan 20 15:28:23 2019 -0500 +++ b/staging/index.html Sun Jan 20 15:44:31 2019 -0500 @@ -98,6 +98,9 @@

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 Mercurial history.)

+


+

One scholar appreciating the book

+ diff -r 0ce9829efa3b -r c3d4217e1da7 staging/scholar.jpg Binary file staging/scholar.jpg has changed