[polyml] Re: Suppressing pretty-printing

[David Matthews]

Rob Arthan pointed out that the new behaviour in 5.3 of printing 
abstract types isn't always desirable and that it might be useful to 
explain how to restore the old behaviour.  I've added an entry to the 
FAQ http://www.polyml.org/FAQ.html#defaultpretty which includes 
instructions on how to install a pretty printer that just prints as "?".

David
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml