Condensed 4-4.1.1
Condensed 4.1.2
Replaced /verb with /verbx, defined to use the listings package
Condensed 4.1.3-4.1.5
Merged