'As rms has kindly pointed out, the designation "GNU SETL" is incorrect until the sources have been released. I hope to correct this by making that release soon'

Undated. From the Documentation page.