Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-04-30

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

All times shown according to UTC.

Time Nick Message
09:06 silver_ joined #isabelle
09:20 JCaesar Hm. Write an emacs-plugin and then use spacemacs…
09:22 JCaesar Or… just make a something that is essentially the status window from jedit (preferrably in ncurses) and you can feed it the cursor position in a file through a socket…
09:23 JCaesar Anyway, that's not what I came for. I wanted to ask: Can I have Isabelle try to latex-compile something that is not named root.tex but something.tex? Or maybe have it look for root.tex in a folder that is not named document?
09:25 larsrh JCaesar: "just"
09:25 larsrh One does not simply ...
09:27 JCaesar I'm willing to write a jEdit plugin that essentially removes jEdit and exports the status window…
09:56 ammbauer JCaesar: Let's do this.
11:58 dmiles_afk joined #isabelle
11:59 dmiles_afk joined #isabelle
12:00 dmiles_afk joined #isabelle

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