Re: [petsc-dev] TS Terminology

[Emil Constantinescu]

On 10/20/17 11:39 AM, Barry Smith wrote:

    You guys are arguing about irrelevancies. Focus on the NAME, that is what 
Matt is complaining about.

How about we change the manual? Isn't that easier?

Emil