Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2017-02-26

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

All times shown according to UTC.

Time Nick Message
11:21 silver_ joined #isabelle
16:03 notdan joined #isabelle
20:41 stoopkid joined #isabelle
21:55 chindy is there some markup package for isabelle code highlighting?
22:38 JCaesar Not sure… pruvisto has something that does it http://downthetypehole.de/paste/ and there's also the output you get from building with -obrowser_info
23:16 chindy JCaesar: oh... should have added i meant for code highlighting in latex
23:17 JCaesar Oh, you mean, like for lstlisting or something?
23:55 JCaesar I mean, you can get Isabelle to output tex code, but I don't think that's what you want…

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