@@ -72,7 +72,7 @@ data Extension =
72 | Ext_markdown_attribute -- ^ Interpret text inside HTML as markdown
72 | Ext_markdown_attribute -- ^ Interpret text inside HTML as markdown
73 -- iff container has attribute 'markdown'
73 -- iff container has attribute 'markdown'
74 | Ext_escaped_line_breaks -- ^ Treat a backslash at EOL as linebreak
74 | Ext_escaped_line_breaks -- ^ Treat a backslash at EOL as linebreak
75− | Ext_autolink_code_spans -- ^ Put autolink text inside code spans
75+ | Ext_monospace_autolinks -- ^ Put autolink text in monospace font
76 | Ext_fancy_lists -- ^ Enable fancy list numbers and delimiters
76 | Ext_fancy_lists -- ^ Enable fancy list numbers and delimiters
77 | Ext_startnum -- ^ Make start number of ordered list significant
77 | Ext_startnum -- ^ Make start number of ordered list significant
78 | Ext_definition_lists -- ^ Definition lists as in pandoc, mmd, php
78 | Ext_definition_lists -- ^ Definition lists as in pandoc, mmd, php
@@ -112,7 +112,7 @@ pandocExtensions = Set.fromList
112 , Ext_inline_code_attributes
112 , Ext_inline_code_attributes
113 , Ext_markdown_in_html_blocks
113 , Ext_markdown_in_html_blocks
114 , Ext_escaped_line_breaks
114 , Ext_escaped_line_breaks
115− , Ext_autolink_code_spans
115+ , Ext_monospace_autolinks
116 , Ext_fancy_lists
116 , Ext_fancy_lists
117 , Ext_startnum
117 , Ext_startnum
118 , Ext_definition_lists
118 , Ext_definition_lists