Commit 4a70afeb authored by Marc Coiffier's avatar Marc Coiffier
Browse files

Successful build (on Mon Dec 3 16:15:43 CET 2018)

parent 7f775351
...@@ -400,7 +400,7 @@ doc2latex (DocSubscript v x) = doc2latex v+"_{"+doc2latex x+"}" ...@@ -400,7 +400,7 @@ doc2latex (DocSubscript v x) = doc2latex v+"_{"+doc2latex x+"}"
doc2latex (DocAssoc x v) = "(\\mathit{"+latexName x+"}:"+doc2latex v+")" doc2latex (DocAssoc x v) = "(\\mathit{"+latexName x+"}:"+doc2latex v+")"
doc2latex DocArrow = " \\rightarrow " doc2latex DocArrow = " \\rightarrow "
doc2latex (DocText x) = x doc2latex (DocText x) = x
doc2latex (DocVarName x) = "\\mathit{"+latexName x+"}" doc2latex (DocVarName x) = "\\mathrm{"+latexName x+"}"
doc2latex DocSpace = "\\," doc2latex DocSpace = "\\,"
latexName :: IsCapriconString str => str -> str latexName :: IsCapriconString str => str -> str
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment