This repository contains tools to run Ciao/CiaoPP on a collection of codes and extract fragments of the output (either messages or the final output) suitable for inclusion in manuals and tutorials.
See exfilter.pl for the main executable and documentation.
See examples/runme.sh for a full demo script.