Flattened images for printing

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@16257 1434b563-b632-4741-aa49-43a3a8374d2e

Flattened images for printing
3d27464a · Michael Jastram · f81cf2aa · 3d27464a · 3d27464a · 3d27464a
Commit 3d27464a authored 11 years ago by Michael Jastram
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/inv_prover.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/inv_prover.png
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/invs_obj.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/invs_obj.png
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/lasoo_prover.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/lasoo_prover.png
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/mch_obj.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/mch_obj.png
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/ml.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/ml.png
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/negE_prover.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/negE_prover.png
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/negI_prover.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/negI_prover.png
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newact_edit.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newact_edit.png
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newaxm_edit.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newaxm_edit.png
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newcomp_wiz.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newcomp_wiz.png
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newcst_edit.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newcst_edit.png
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newenuset_edit.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newenuset_edit.png
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newevt_edit.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newevt_edit.png
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newgrd_edit.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newgrd_edit.png
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newinv_edit.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newinv_edit.png
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newprj_wiz.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newprj_wiz.png
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newset_edit.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newset_edit.png
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newthm_edit.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newthm_edit.png
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newvar_edit.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newvar_edit.png
--- a/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newvariant_edit.png
+++ b/org.rodinp.handbook.feature/latex/img-print/icons/rodin/newvariant_edit.png