Camelia, the Perl 6 bug

IRC log for #isabelle, 2013-08-14

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

All times shown according to UTC.

Time Nick Message
00:57 felipealmeida joined #isabelle
10:06 tpsinnem joined #isabelle
12:07 G________ joined #isabelle
12:40 Guest___ joined #isabelle
13:37 Gue______ joined #isabelle
13:47 madez joined #isabelle
16:05 madez Hello. Is it possible to invoke sledgehammer using jEdit?
16:05 madez The emacs interface offered an easy to find command for it. I don't find any in jEdit.
16:22 felipealmeida joined #isabelle
20:14 tpsinnem joined #isabelle
20:24 felipealmeida joined #isabelle

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