<div dir="ltr">Great! I've been trying to prod people over the years to dig up these old original files. (I only ever had a copy of the generated .ps/.pdf myself.) Who's been sitting on them?<div><br></div><div>Note that in src/es.tex, lines 22-23, it's better for now if you made STYLE 0 be the default, because it described the actual implementation of Erlang at the time ("4.7.3"), while STYLE 1 "Standard Erlang" described an ideal new standard that had some possibly incompatible changes, several of which were never actually implemented.</div></div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature" data-smartmail="gmail_signature"><br>        /Richard</div></div>
<br><div class="gmail_quote">2017-11-30 12:51 GMT+01:00 Rickard Green <span dir="ltr"><<a href="mailto:rickard@erlang.org" target="_blank">rickard@erlang.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">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/downloa<wbr>d/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/spe<wbr>c</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" target="_blank">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" rel="noreferrer" target="_blank">http://erlang.org/mailman/list<wbr>info/erlang-questions</a><br>
</blockquote></div><br></div>