Closed monadius closed 5 years ago
Added the Format.formatter argument to some printing functions (num, goal, goalstack). Changed arguments of #install_printer.
Format.formatter
#install_printer
Added the
Format.formatterargument to some printing functions (num, goal, goalstack). Changed arguments of#install_printer.