Camelia, the Perl 6 bug

IRC log for #isabelle, 2011-11-02

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

All times shown according to UTC.

Time Nick Message
05:12 int-e joined #isabelle
06:15 blinky joined #isabelle
06:15 blinky <= is resereved in isabelle emacs how do i write less then or equal to?
06:17 blinky <_ oh ok
10:32 davidL joined #isabelle
10:33 monochrom joined #isabelle
10:51 ChanServ joined #isabelle
22:52 synonymous joined #isabelle
22:53 synonymous how can I reorder the goals to solve first?
22:54 synonymous subgoals that is

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