<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">W dniu 2012-09-03 02:53, Richard
O'Keefe pisze:<br>
</div>
<blockquote
cite="mid:93A456AC-A73E-4F55-98DE-ED6A63E8843F@cs.otago.ac.nz"
type="cite">
<pre wrap="">
On 1/09/2012, at 2:39 AM, Steve Vinoski wrote:
</pre>
<blockquote type="cite">
<pre wrap="">Agreed. Also, Richard, you might try writing your proposal in
something other than markdown, something that gives you what you're
aiming for, and then using pandoc to convert it to markdown for
submission -- see <a class="moz-txt-link-freetext" href="http://johnmacfarlane.net/pandoc/">http://johnmacfarlane.net/pandoc/</a> if you're not
familiar with pandoc.
</pre>
</blockquote>
<pre wrap="">
No, I wasn't familiar with pandoc.
I'm installing it now.
It's a little disconcerting seeing deprecation warnings,
but at least they're _only_ deprecation warnings,
whoops, wrote too soon.
ld: warning: could not create compact unwind for .LFB3: non-standard register 5 being saved in prolog
There is a problem. It converts LaTeX `` to `` and ' and '' to some UTF8
gibberish even when I specify --ascii. When I convert to HTML, I see this:
The topic is really a little more general:
it’s ``getting insight into the structure and behaviour of a
program by using tools that summarise execution traces’’.
</pre>
</blockquote>
<br>
While I'm not really sure, it probably has something to do with <span
style="color: rgb(0, 0, 0); font-family: monospace; font-size:
14px; font-style: normal; font-variant: normal; font-weight:
normal; letter-spacing: normal; line-height: 19.633333206176758px;
orphans: 2; text-align: left; text-indent: 0px; text-transform:
none; white-space: normal; widows: 2; word-spacing: 0px;
-webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); display: inline !important;
float: none; ">xunicode</span> package in LaTeX.<br>
I had similar problems and <code style="margin: 0px; padding: 0px;
font-style: normal; font-weight: bold; font-family: monospace;
line-height: 1.4em; font-size: 14px; color: rgb(0, 0, 0);
font-variant: normal; letter-spacing: normal; orphans: 2;
text-align: left; text-indent: 0px; text-transform: none;
white-space: normal; widows: 2; word-spacing: 0px;
-webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); ">--latex-engine=</code><em
style="font-style: italic; font-weight: bold; color: rgb(0, 0, 0);
font-family: Georgia, serif; font-size: 15px; font-variant:
normal; letter-spacing: normal; line-height: 20.816667556762695px;
orphans: 2; text-align: left; text-indent: 0px; text-transform:
none; white-space: normal; widows: 2; word-spacing: 0px;
-webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); ">xelatex</em> helped.<br>
<br>
<blockquote
cite="mid:93A456AC-A73E-4F55-98DE-ED6A63E8843F@cs.otago.ac.nz"
type="cite">
<pre wrap="">
_______________________________________________
erlang-questions mailing list
<a class="moz-txt-link-abbreviated" href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a>
<a class="moz-txt-link-freetext" href="http://erlang.org/mailman/listinfo/erlang-questions">http://erlang.org/mailman/listinfo/erlang-questions</a>
</pre>
</blockquote>
<br>
</body>
</html>