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.
Admin/polyml-5.1/README
author wenzelm
Sun, 04 Nov 2007 16:43:29 +0100
changeset 25273 189db9ef803f
parent 25181 7c86f9ed8588
child 25431 f8f46c3b7551
permissions -rw-r--r--
Output.add_mode default prevents escapes from ProofGeneral mode;


This distribution of Poly/ML 5.1 has been compiled from the original
sources as follows:

  cvs -d:pserver:anonymous@polyml.cvs.sourceforge.net:/cvsroot/polyml co polyml
  cd polyml
  cvs up -dAP
  ./configure --prefix=/tmp/polyml --without-x
  make
  make install

Now /tmp/polyml/bin/* and /tmp/polyml/lib/* can be moved to the
platform-specific target directory (e.g. polyml-5.1/x86-linux).

	Makarius
	24-Oct-2007

$Id$
isabelle