Eclipse, Java, C++, Lisp, LaTeX and Isabelle

I’ve recently re-discovered Eclipse. My first encounter with it was back when I was learning Prolog. I worked with it and while I liked the work-flow, I never got to using it full-time. It’s back and it’s staying.

Most people may think of Eclipse as simply a Java IDE but there’s a lot more to it that just that. Eclipse is at heart, a plugin framework and is very very extensible. Let me tell you why:

I’ve configured Eclipse to work as my primary C++ IDE, as my primary Lisp IDE, as my thesis word processor using LaTeX and am working on using it for as my Java IDE too. Now, I may be wrong but there’s no other IDE which can do all this.

As an example, see how easy it is to get Lisp working in Eclipse on Linux.

  • Download CUSP plugin for Eclipse
  • Extract the contents of the archive
  • Copy the folder jasko.tim.lisp to the plugins folder of Eclipse
  • The Lisp distro used is SBCL which sits in the sbcl sub-folder
  • Create a symbolic link to sbcl executable in someplace accessible globallly:

ln -s /usr/share/eclipse/plugins/jasko.tim.lisp/sbcl/sbcl /usr/bin/sbcl

  • assuming you installed Eclipse in /usr/share
  • Start Eclipse and change perspective to Lisp.

Six easy steps and you have a lovely Lisp IDE. Oh, and if you’re worried about Java being a “slow” language, you haven’t been around the latest JREs. Get the latest JRE and try Eclipse. You’ll love it.

Now, if I can only get my Isabelle to work with Eclipse! Yes, there is a plugin that does this. It’s just too crude right now.

8 thoughts on “Eclipse, Java, C++, Lisp, LaTeX and Isabelle

  1. Just out of curiosity, since I wanted to try eclipse as a latex editor. Which plugin are you using?
    Does it integrate nicely with VCS (CVS or SVN) for version support of my tex files?


  2. I’m using CUSP. Says so in the post. πŸ™‚

    It uses the normal C++ perspective, so there should be no problem using the default CVS that comes with Eclipse.

    Do tell me if it works. I don’t usually use CVS. I don’t have much use for versioning. Even with my final thesis.

  3. Lol, ok, you wrote CUSP but I kept reading CUPS (the printing system), my bad πŸ™‚

    Anyway CUSP seems to be nice for Lisp, but I was curious as to which plugin (if any) were you using for latex specifically. Or were you compiling your thesis from the command line and not from eclipse?

    TeXLipse for example?

    Thanks for the quick answer!

  4. BTW, I used CVS for my thesis as a fancy backup system, I did not branch my tex files at all πŸ˜‰

  5. Ooops… Actually, it was my bad. I read lisp instead of LaTeX. Man, I must be getting old!

    Anyway, I _am_ using Texlipse for LaTeX. It seems to work perfectly well. And guess what… it’s Texlipse which works on C++ perspective. CUSP has it’s own “lisp” perspective.

    So, the answer to your original question would be “Texlipse” . And yes, it should work fine with CVS.

    By the way, have you used Kile for LaTeX. It’s actually pretty good too. Lots of shortcut keys and customization. Plus, it’s fast.

  6. Ha, ha, we’re both getting old.
    I’ll check out Texlipse on a Java perspective (that’s what I use the most nowadays).

    I’ve used Kile in linux and TexnicCenter on windows. Being crossplatform is nice, that’s why I’m interested in the eclipse approach.

    I liked Kile a lot πŸ™‚ I only miss the CVS integration.

  7. I installed Texlipse!
    Looking good so far. However, I need to run latex a couple of times in a row (latex sometimes needs to rerun), and I don’t know how to tell eclipse to do it without modifying the tex file and saving again…

    Had to upgrade MikTex because my old 2.5 was completely broken. I’ll try to test it in linux too.

    Great tool πŸ™‚

Comments are closed.