<div dir="auto">There is one thing with having the spec available as html, which would be very useful.<div dir="auto">But I don't think the source should be html. </div><div dir="auto">The guiding principle should be 1 source many possible presentations.</div><div dir="auto"><br></div><div dir="auto">/Kenneth Erlang/OTP, Ericsson<br><div class="gmail_extra" dir="auto"><br><div class="gmail_quote">Den 30 nov. 2017 18:34 skrev "Anthony Ramine" <<a href="mailto:n.oxyde@gmail.com">n.oxyde@gmail.com</a>>:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">The most important part of a spec isn't the verbosity of its few mathematical formulas when editing, it's good cross-reference linking, internally in externally. The format that excels at that is HTML. There are various ways to have mathematical formulas in HTML.<br>
<div class="elided-text"><br>
> Le 30 nov. 2017 à 16:29, Rickard Green <<a href="mailto:rickard@erlang.org">rickard@erlang.org</a>> a écrit :<br>
><br>
> On 11/30/2017 04:08 PM, Anthony Ramine wrote:<br>
>> Would be nice to rewrite that in HTML, we are in 2017 after all.<br>
><br>
> No I don't think it would be a good ide to rewrite this in HTML. There might be other options than latex, but I don't see that HTML would be an option. This due to the mathematical formulas in the document.<br>
><br>
> There are tools available to produce html from latex which can be integrated in the makefiles which of course would be nice.<br>
><br>
> Regards,<br>
> Rickard<br>
><br>
>>> Le 30 nov. 2017 à 12:51, Rickard Green <<a href="mailto:rickard@erlang.org">rickard@erlang.org</a>> a écrit :<br>
>>><br>
>>> Hi,<br>
>>><br>
>>> In the late 90ies work were being done on an Erlang language specification. A draft which was produced can be found at <<a href="http://www.erlang.org/download/erl_spec47.ps.gz" rel="noreferrer" target="_blank">http://www.erlang.org/<wbr>download/erl_spec47.ps.gz</a>>. Unfortunately the work on this document stopped after this.<br>
>>><br>
>>> This document is of course quite outdated, but it contains lots of valuable information. I think it is about time to continue this work. It will however require lots of work to finish. We publish the source for the draft in the hope that we in collaboration with the Erlang community eventually will be able to produce an official Erlang Language Specification.<br>
>>><br>
>>> I've created a new repository <<a href="https://github.com/erlang/spec" rel="noreferrer" target="_blank">https://github.com/erlang/<wbr>spec</a>> which contains the source of the document.<br>
>>><br>
>>> Regards,<br>
>>> Rickard Green, Erlang/OTP, Ericsson AB<br>
>>> ______________________________<wbr>_________________<br>
>>> erlang-questions mailing list<br>
>>> <a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
>>> <a href="http://erlang.org/mailman/listinfo/erlang-questions" rel="noreferrer" target="_blank">http://erlang.org/mailman/<wbr>listinfo/erlang-questions</a><br>
><br>
><br>
<br>
______________________________<wbr>_________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" rel="noreferrer" target="_blank">http://erlang.org/mailman/<wbr>listinfo/erlang-questions</a><br>
</div></blockquote></div><br></div></div></div>