Changes to multi-sig document

for discussion, see #837
IntersectMBO · Sep 17, 2019 · ada1849 · ada1849
1 parent d911798
commit ada1849
Show file tree

Hide file tree

Showing 3 changed files with 252 additions and 233 deletions.
diff --git a/shelley/chain-and-ledger/formal-spec/iohk.sty b/shelley/chain-and-ledger/formal-spec/iohk.sty
@@ -36,9 +36,9 @@
 \newenvironment{question}
   {\begin{bclogo}[logo=\bcquestion, couleur=orange!10, arrondi=0.2]{ QUESTION}}
   {\end{bclogo}}
-\newenvironment{todo}
-  {\begin{bclogo}[logo=\bcoutil, couleur=red!5, couleurBarre=red, arrondi=0.2]{ TODO}}
-    {\end{bclogo}}
+%\newenvironment{todo}
+%  {\begin{bclogo}[logo=\bcoutil, couleur=red!5, couleurBarre=red, arrondi=0.2]{ TODO}}
+%    {\end{bclogo}}
 \newenvironment{note}
   {\begin{bclogo}[logo=\bcattention, couleur=orange!10, arrondi=0.2]{ NOTE}}
   {\end{bclogo}}