.gitignore
Minor tweaks to (1), solution to (5a).
package mathpartir.