eiffeldoc: better titles and Ariadne thread
config priority fixed
'assign' is now a keyword
some renamings to help eiffeldoc
The Eiffel installer is not maintained anymore
no more install.
more fixes for eiffeldoc
bugfix
bugfix
prettier still
oops