book.tex: use ebproof package

yurrriq · yurrriq · commit 4fa64160717f · 2017-07-24T18:14:21.000-05:00
diff --git a/src/book.tex b/src/book.tex
@@ -40,6 +40,8 @@
 - \renewcommand*{\glstextformat}[1]{\textsl{#1}}
 -
 - \usepackage{todonotes}
+-
+- \usepackage{ebproof}
 include-before: \frontmatter
 ---
 

Original file line number	Diff line number	Diff line change
`@@ -40,6 +40,8 @@`
`40`	`40`	`- \renewcommand*{\glstextformat}[1]{\textsl{#1}}`
`41`	`41`	`-`
`42`	`42`	`- \usepackage{todonotes}`
	`43`	`+-`
	`44`	`+- \usepackage{ebproof}`
`43`	`45`	`include-before: \frontmatter`
`44`	`46`	`---`
`45`	`47`