changeset | aed0fcfabdbd |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Add a link to the home page from the PDF |
files |
changeset | da576746c3ba |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Fix one reported grammatical error and make my own final pass over Chapter 1 |
files |
changeset | 40a9a36844d6 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Batch of changes based on proofreader feedback |
files |
changeset | 62475ab7570b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Use lmodern LaTeX package for easier copying and pasting |
files |
changeset | e2c88317611f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Conclusion |
files |
changeset | d5112c099fbf |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | New chapter: ProgLang |
files |
changeset | 549d604c3d16 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Move exercises out of mainline book |
files |
changeset | 3322367e955d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Move GeneralRec one chapter slot later, since Subset should be a prereq |
files |
changeset | ad315efc3b6b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Stub out new chapter |
files |
changeset | 4a432659a698 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Remove Part IV |
files |
changeset | 06d11a6363cd |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | New LogicProg chapter |
files |
changeset | 4cb3ba8604bc |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Pass through first half of StackMachine, along with some reorganization of the build process |
files |