Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2014-12-09

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

All times shown according to UTC.

Time Nick Message
00:10 kholerabbi Hi, I'm using isabelle/jedit and I'd like to use the symbols \Cap and \Cup from latex (from amssymb). I have found isabelle/etc/symbols. Is editing that file the appropriate way to add new symbols?
02:30 kholerabbi they correspond to unicode "DOUBLE INTERSECTION" and "DOUBLE UNION"
02:30 kholerabbi I have tried adding mappings to isabelle/etc/symbols, but they don't appear in jedit
03:18 kish joined #isabelle
03:58 kish joined #isabelle
07:19 lrabiet joined #isabelle
07:23 relrod_ joined #isabelle
11:31 coco joined #isabelle
19:11 anders0 joined #isabelle
22:31 dmiles joined #isabelle
22:33 prontotest joined #isabelle
22:33 prontotest left #isabelle
22:57 kish joined #isabelle

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