Added Encl, Glossary to Term

This commit is contained in:
John MacFarlane 2017-08-12 13:14:27 -07:00
parent f035f0ffe3
commit 78e61cedd0

View file

@ -69,11 +69,13 @@ data Term =
| Table | Table
| Part | Part
| Page | Page
| Proof
| See | See
| SeeAlso | SeeAlso
| Encl
| Cc | Cc
| To | To
| Proof
| Glossary
deriving (Show, Eq, Ord, Generic, Enum, Read) deriving (Show, Eq, Ord, Generic, Enum, Read)
newtype Translations = Translations (M.Map Term String) newtype Translations = Translations (M.Map Term String)