On 29/06/18 08:08, José Manuel Rodriguez Caballero wrote: > Thank you by the information. I sorry if this mailing list was not the > best to ask this legal question, I did not find another one more > appropriated for this subject.
By default you can post everything on isabelle-users, unless it really refers to the ongoing Isabelle development process. The larger audience on isabelle-users might actually have more legal experts. > With respect to Makarius worries with > open source, I'm the first who enjoys open source. I am actually not worried about open source, I am worried about the remaining minority that thinks it can economically survive with the obsolete closed-source model. Even Microsoft has joined the Open Source movement now, and will be soon running Github. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev