Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-04-29

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

All times shown according to UTC.

Time Nick Message
02:12 fracting joined #isabelle
03:43 fracting joined #isabelle
04:27 ski joined #isabelle
09:24 silver joined #isabelle
14:37 dmiles joined #isabelle
14:47 burrito-sam joined #isabelle
14:49 burrito-sam Hello, could anyone provide some info on using isabelle/scala?
14:50 burrito-sam im interested in writing a PIDE frontend
14:51 chuchucorny ping larsrh
14:53 chuchucorny burrito-sam: is libisabelle (https://github.com/larsrh/libisabelle) related?
14:53 burrito-sam let me check it out, thanks
14:54 chuchucorny but it may be quite the opposite compared to what you need ;-)
14:54 int-e it still has to use PIDE though
14:54 burrito-sam oh, yeah, that looks like something which could be useful, thanks chuchucorny
14:55 burrito-sam Honestly I'm just developing in jEdit right now and I'm getting Vim withdrawls so I'm trying to see if there is a more "command line" way to use isabelle
14:57 chuchucorny I saw that l4v has a isabelle vim file in their repo. maybe you can find some Isabelle/vim users there. But the file looks very basic
14:57 chuchucorny https://github.com/seL4/l4v/blob/7e9b8224ee95874c517cbd5c9f28209d01c00360/misc/vim/isabelle.vim
14:58 burrito-sam ah, yeah, thanks, i'm using that right now
15:03 larsrh burrito-sam: Connecting PIDE to Vim is unfortunately not quite easy
15:04 larsrh I'd be very surprised if the Vim configuration chuchucorny linked to would do anything more than syntax highlighting
15:04 burrito-sam lol yeah that is all it does
15:04 burrito-sam alright, well, i should just take your word for it and embrace jedit i think
15:04 larsrh The big feature of Isabelle/jEdit is the continuous checking of input
15:05 larsrh which is invaluable for writing proofs
15:05 burrito-sam yeah
15:05 larsrh It would totally be possible to write a plugin for Vim which would do that sort of thing
15:05 larsrh but it's a lot of work; essentially reproducing the whole jEdit frontend
15:06 larsrh (libisabelle won't help much there, it's much more tailored towards non-IDE applications)
15:06 burrito-sam ah ok
15:06 larsrh burrito-sam: If it's any consolation, I'm a regular Vim user too, and have embraced jEdit
15:06 larsrh I find that the slowdown I have by not using Vim is more than offset by the interactive features
15:06 burrito-sam yeah, i think that's probably right
15:07 burrito-sam I was trying to look at the scala interface to see how hard it would be to recreate but i couldn't figure it out
15:07 larsrh if you want to look, see ~~/src/Tools/jEdit
15:08 chuchucorny If it's any consolation, I'm a regular computer user and embrace pain and suffering regularly
15:08 burrito-sam hahahahahahaha
15:08 burrito-sam yeah I think I should just suck it up and get back to work
15:09 larsrh burrito-sam: see also https://andriusvelykis.github.io/isabelle-eclipse/
15:09 burrito-sam Oh yeah I was looking at that
15:10 burrito-sam I thought maybe I'd do Isabelle/Eclipse and then use an eclipse vim plugin
15:10 larsrh Don't do that, it's lagging behind 3 major releases
15:10 larsrh There are also Vim plugins for jEdit :-)

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