[isabelle-dev] compiling jedit for Isabelle development

2012-03-27 Thread Viorel Preoteasa
Hello, I am trying to use jedit with the Isabelle development version I have scala-2.9.1-1 and I downloaded jedit_build-20120313. I set the paths export SCALA_HOME=/Users/viorel/Work/isabelle-dev/isabelle/contrib/scala-2.9.1-1 export

Re: [isabelle-dev] compiling jedit for Isabelle development

2012-03-27 Thread Makarius
On Tue, 27 Mar 2012, Viorel Preoteasa wrote: I am trying to use jedit with the Isabelle development version I have scala-2.9.1-1 and I downloaded jedit_build-20120313. I set the paths export SCALA_HOME=/Users/viorel/Work/isabelle-dev/isabelle/contrib/scala-2.9.1-1 export

Re: [isabelle-dev] compiling jedit for Isabelle development

2012-03-27 Thread Viorel Preoteasa
On 3/27/12 11:59 PM, Makarius wrote: On Tue, 27 Mar 2012, Viorel Preoteasa wrote: I am trying to use jedit with the Isabelle development version I have scala-2.9.1-1 and I downloaded jedit_build-20120313. I set the paths export