Hi Volker, On 2013-06-28, Volker Braun <[email protected]> wrote: > You can't call the plugin directly, but it is very straightforward code and > it would be easy to turn it into a standalone script that just compares any > two sage trees.
This would be nice to have! As I wrote on the other thread, I took 20 samples of "sage -startuptime" without and 20 with the patches, but I am not totally confident how to interprete it. Best regards, Simon -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
