Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-11-28

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

All times shown according to UTC.

Time Nick Message
02:47 ilbot3 joined #isabelle
02:47 Topic for #isabelle is now Official channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html || Now with logging: http://irclog.perlgeek.de/isabelle/
04:30 dmiles joined #isabelle
04:36 logicmoo joined #isabelle
12:38 silver joined #isabelle
16:49 JCaesar btw, is there some convenient way to type the sub/superscripts? For a few things, I have XCompose-entries, but that doesn't help everywhere…
17:00 ThreeOfEight more convenient than \<^sup>?
17:17 ammbauer Ctrl-e then down.
17:36 ThreeOfEight Nice, I didn't know that
17:37 ThreeOfEight (otoh, I rarely use subscripts and superscripts these days)

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