On Tue, 4 Dec 2012, Jasmin Blanchette wrote:
Am 04.12.2012 um 18:11 schrieb Johannes Hölzl:
I remove the SMT certificates in HOL-Multivariate_Analysis in
Isabelle/4b4fe0d5ee22.
Thanks! I didn't mean to apply pressure on you, though. ;)
Nobody does. It is more important to put issues on the table, to know
what they are. Sometimes, reforms don't take just 10min, but 10 years.
Makarius_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
