Hi, Am Freitag, den 22.02.2013, 08:49 +0100 schrieb Gergely Buday: > Wiki is old-fashioned these days, how about using Stack Exchange for > Isabelle user communication? > What do you think about this?
I guess this is getting off-topic for isabelle-dev and should rather be discussed on the users list. Anyways: I find SE a good format for the typical questions that are raised on the users list, but I am not sure if the community is large enough to provide reasonable fast and good answers there to make it useful. But it could be worth a try. Greetings, Joachim -- Dipl.-Math. Dipl.-Inform. Joachim Breitner Wissenschaftlicher Mitarbeiter http://pp.ipd.kit.edu/~breitner
signature.asc
Description: This is a digitally signed message part
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
