Camelia, the Perl 6 bug

IRC log for #isabelle, 2012-02-20

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
10:23 davidL joined #isabelle
12:18 phimuemue_ joined #isabelle
17:46 mekeor joined #isabelle
21:32 mekeor joined #isabelle
21:39 mekeor joined #isabelle
22:25 mekeor who is the main developer / maintainer of isabelle currently?
23:04 mekeor joined #isabelle
23:09 lispy mekeor: it's developed by a team, I'm not sure who is incharge though
23:10 lispy "Isabelle is developed at University of Cambridge (Larry Paulson), Technische Universität München (Tobias Nipkow) and Université Paris-Sud (Makarius Wenzel)."
23:10 lispy That's from the website
23:11 lispy I'm most familiar with the last two names

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary