Camelia, the Perl 6 bug

IRC log for #isabelle, 2012-02-21

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

All times shown according to UTC.

Time Nick Message
01:32 cowok_18 joined #isabelle
01:32 cowok_18 left #isabelle
13:43 mekeor joined #isabelle
15:15 phimuemue_ joined #isabelle
20:27 mekeor is isabelle still under active development?
20:28 mekeor i mean, the latest version seems to be 2011-1 which isn't that up-to-dateā€¦
20:31 mekeor is isabelle also under active usage? i mean, are there still people using it?
20:32 mekeor is isabelle usable at all? or is it rather experimental or out-of-date/obsolet? should one rather switch to other/alternative theorem proovers?
20:42 int-e joined #isabelle
21:15 mekeor also, this channel doesn't seem to be very active(, too?)... january 18th was the most active day in the past two months..: http://irclog.perlgeek.de/isabelle/2012-01-18

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