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
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
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