[ library(fromonto) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

+Goal onto_file ++File

Redirect Goal's standard output stream to File