Waldek, I guess you have a program that removes unnecessary whitespace?
I sometimes find whitespace is useful in comments (to align rows or in bullet points and that sort of thing). Do you think it would make sense to leave whitespace unaltered following -- or ++ (except for removing trailing whitespace)? Martin -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
