Searched refs:change_output_mode (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dtracer_tty.pl323 change_output_mode,
989 change_output_mode :- label

Completed in 31 milliseconds