Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/README_BUILD
author wenzelm
Tue, 28 Aug 2012 17:49:02 +0200
changeset 48972 196520d51afd
parent 48917 ce37d4f8b4f4
permissions -rw-r--r--
more formal build_doc tool (Admin only); removed some doc-src junk;

Requirements for instantaneous build from repository
====================================================

* Java JDK 1.7 from Oracle
  http://www.oracle.com/technetwork/java/javase/downloads/index.html

  (experimental support for JDK/OpenJDK 1.7)

* Scala 2.9.2
  http://www.scala-lang.org

  (experimental support for Scala 2.10.x milestones)

  Note that the official directory layout of JDK and Scala is required!

* Auxiliary jedit_build component according to Admin/components/main


Build and run
=============

isabelle jedit -l HOL Test.thy
isabelle