Hi,

see *.txt for instructions, but those text files
are just raw exports of their respective HTML 
versions at

http://www-stud.enst.fr/~michon/quinefaut/index.html

as you like it.

Emmanuel Michon
michon@enst.fr
Feb 7, 1999