7306843 Merged in changes that were inadvertently made in a subtree clone. ed89997 Added \alertbf and Mark George’s text highlighting macros. git-subtree-dir: lectures git-subtree-split: 7306843
7306843
git-subtree-dir: lectures git-subtree-split: 2b1085b
2b1085b