Am 12/02/2012 11:24, schrieb Florian Haftmann: > Anyway, personally I have no strong opinion about this, so anybody who > wants to get hands on should feel invited to do so.
It would have been better to discuss such a change beforehand rather than make it and then say that we are welcome to modify it. Tobias _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
