Descargar ODEs
Si lo que queremos es disponer de los ODEs o contenidos en el disco duro de nuestro ordenador, bastará con que en la parte inferior de la ficha detallada del ODE:
pulsemos en el botón Descargar 
y accederemos a la pantalla que se muestra a continuación:
en la que podremos elegir entre diferentes formatos de descarga y donde deberemos leer y aceptar las Condiciones legales antes de pulsar en el botón Descargar.