Could we also please avoid language and notions of "elitism"? It's already hard enough as it is for newcomers to learn how to set up and work with the system, find documentation, etc. without such a culture in the background.
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
