Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Blocks.hs | 5239 | logplain |
-rw-r--r-- | CharacterReferences.hs | 7577 | logplain |
-rw-r--r-- | Definition.hs | 5107 | logplain |
-rw-r--r-- | Highlighting.hs | 2419 | logplain |
d--------- | Readers | 182 | logplain |
-rw-r--r-- | Shared.hs | 35421 | logplain |
-rw-r--r-- | UTF8.hs | 1643 | logplain |
d--------- | Writers | 409 | logplain |
-rw-r--r-- | XML.hs | 3364 | logplain |