Branch: Tag:

2016-07-02

2016-07-02 09:21:27 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Efuns: Renamed hash_7_8() to hash_8_0() for consistency.

Also made the hash_*() types somewhat stricter.

281:   <li><a href='ex/predef_3A_3A/hash.html'>hash()</a></li>   <li><a href='ex/predef_3A_3A/hash_7_0.html'>hash_7_0()</a></li>   <li><a href='ex/predef_3A_3A/hash_7_4.html'>hash_7_4()</a></li> - <li><a href='ex/predef_3A_3A/hash_7_8.html'>hash_7_8()</a></li> + <li><a href='ex/predef_3A_3A/hash_8_0.html'>hash_8_0()</a></li>   <li><a href='ex/predef_3A_3A/hash_value.html'>hash_value()</a></li>   <li><a href='ex/predef_3A_3A/indices.html'>indices()</a></li>   <li><a href='ex/predef_3A_3A/intp.html'>intp()</a></li>