Re: [isabelle] Isabelle2014-RC0 available for testing



>> $ cd .isabelle/contrib/jedit_build-20140511/contrib/jedit-5.1.0-patched
>> $ java -jar jedit.jar
> 
> Which version of Java is the "java" above?

$ java -version
java version "1.7.0_60"
OpenJDK Runtime Environment (IcedTea 2.5.0) (Arch Linux build
7.u60_2.5.0-3-x86_64)
OpenJDK 64-Bit Server VM (build 24.60-b09, mixed mode)




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.