HTML editor sucks

Matthew Knepley knepley at
Fri May 23 08:34:51 CDT 2008

Does anyone else think it is crazy that a small 5 line edit in our html
files creates an enormous diff, and it takes me 10min to find the little
edit someone made? This is crazy.


What most experimenters take for granted before they begin their
experiments is infinitely more interesting than any results to which
their experiments lead.
-- Norbert Wiener

More information about the petsc-dev mailing list