Camelia, the Perl 6 bug

IRC log for #isabelle, 2011-10-26

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

All times shown according to UTC.

Time Nick Message
07:48 wagle joined #isabelle
14:03 tiash joined #isabelle
14:04 tiash hi
14:05 tiash was wondering if someone could give me a pointer to a problem I'm having with Locales?
14:06 tiash I'm having trouble using a definition from a local as part of the assumptions for a sublocale

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