00_index.html
alex.patches            Changes to make the alexserver run under Linux
isode.patch.gz          Changes to build ISODE (OSI stack) under Linux