search

technicalguy / acs-category-theory-notes-2017

Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
13 stars 5 forks source link

No solutions version #13

Open Dreian opened 6 years ago

Dreian commented 6 years ago

It would be useful to have an option to compile the document with no solutions to the exercises (in order to make the document easier to read or allow the reader to solve it independently).

Consider making a make rule that performs something similar to: sed '/\\begin{proof}\[Solution\]/,/\\end{proof}/d' acs-category-thery-notes.tex > acs-category-theory-notes-nosolution.tex latexmk -df -pdflatex="pdflatex -shell-escape -interaction=nonstopmode" -use-make acs-category-theory-notes-nosolution.tex rm acs-category-thery-notes-nosolution.tex

MarceloFiore commented 6 years ago

LaTeX has an if-then-else package that could be used for this purpose.

bch29 commented 6 years ago

It might be nicer to put all solutions at the end of the document (perhaps in an appendix) instead.