Admin/Isabelle2005-polyml-5.0/README-polyml-5.0
author haftmann
Thu, 04 Oct 2007 19:41:55 +0200
changeset 24841 df8448bc7a8b
parent 21764 720b0add5206
permissions -rw-r--r--
concept for exceptions
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
21688
e5287f12f1e1 Poly/ML 5.0 setup for Isabelle2005.
wenzelm
parents:
diff changeset
     1
e5287f12f1e1 Poly/ML 5.0 setup for Isabelle2005.
wenzelm
parents:
diff changeset
     2
Using Isabelle2005 with Poly/ML 5.0 requires the following
e5287f12f1e1 Poly/ML 5.0 setup for Isabelle2005.
wenzelm
parents:
diff changeset
     3
compatibility wrappers:
e5287f12f1e1 Poly/ML 5.0 setup for Isabelle2005.
wenzelm
parents:
diff changeset
     4
e5287f12f1e1 Poly/ML 5.0 setup for Isabelle2005.
wenzelm
parents:
diff changeset
     5
  Isabelle2005/src/Pure/ML-Systems/polyml-5.0.ML
e5287f12f1e1 Poly/ML 5.0 setup for Isabelle2005.
wenzelm
parents:
diff changeset
     6
  Isabelle2005/lib/scripts/run-polyml-5.0
e5287f12f1e1 Poly/ML 5.0 setup for Isabelle2005.
wenzelm
parents:
diff changeset
     7
21764
720b0add5206 added ProofGeneral settings;
wenzelm
parents: 21688
diff changeset
     8
The Isabelle settings need to specify that version, by including
720b0add5206 added ProofGeneral settings;
wenzelm
parents: 21688
diff changeset
     9
something like this in Isabelle2005/etc/settings or
21688
e5287f12f1e1 Poly/ML 5.0 setup for Isabelle2005.
wenzelm
parents:
diff changeset
    10
~/isabelle/etc/settings:
e5287f12f1e1 Poly/ML 5.0 setup for Isabelle2005.
wenzelm
parents:
diff changeset
    11
21764
720b0add5206 added ProofGeneral settings;
wenzelm
parents: 21688
diff changeset
    12
  ML_PLATFORM=""
720b0add5206 added ProofGeneral settings;
wenzelm
parents: 21688
diff changeset
    13
  ML_HOME=/usr/local/bin
720b0add5206 added ProofGeneral settings;
wenzelm
parents: 21688
diff changeset
    14
  ML_SYSTEM=polyml-5.0
720b0add5206 added ProofGeneral settings;
wenzelm
parents: 21688
diff changeset
    15
  ML_OPTIONS="-H 500"
720b0add5206 added ProofGeneral settings;
wenzelm
parents: 21688
diff changeset
    16
720b0add5206 added ProofGeneral settings;
wenzelm
parents: 21688
diff changeset
    17
Now logics can be compiled as usual, cf. the INSTALL instructions.
720b0add5206 added ProofGeneral settings;
wenzelm
parents: 21688
diff changeset
    18
21688
e5287f12f1e1 Poly/ML 5.0 setup for Isabelle2005.
wenzelm
parents:
diff changeset
    19
21764
720b0add5206 added ProofGeneral settings;
wenzelm
parents: 21688
diff changeset
    20
ProofGeneral needs to be adapted as well, by including the following
720b0add5206 added ProofGeneral settings;
wenzelm
parents: 21688
diff changeset
    21
in Isabelle2005/etc/proofgeneral-settings.el or
720b0add5206 added ProofGeneral settings;
wenzelm
parents: 21688
diff changeset
    22
~/isabelle/etc/proofgeneral-settings.el:
720b0add5206 added ProofGeneral settings;
wenzelm
parents: 21688
diff changeset
    23
720b0add5206 added ProofGeneral settings;
wenzelm
parents: 21688
diff changeset
    24
  (custom-set-variables
720b0add5206 added ProofGeneral settings;
wenzelm
parents: 21688
diff changeset
    25
   '(proof-shell-pre-interrupt-hook (lambda () t)))
720b0add5206 added ProofGeneral settings;
wenzelm
parents: 21688
diff changeset
    26
720b0add5206 added ProofGeneral settings;
wenzelm
parents: 21688
diff changeset
    27
Otherwise ProofGeneral will regard polyml-5.0 as an old polyml-3.x and
720b0add5206 added ProofGeneral settings;
wenzelm
parents: 21688
diff changeset
    28
activate strange workarounds for interrupt handling.
21688
e5287f12f1e1 Poly/ML 5.0 setup for Isabelle2005.
wenzelm
parents:
diff changeset
    29
e5287f12f1e1 Poly/ML 5.0 setup for Isabelle2005.
wenzelm
parents:
diff changeset
    30
e5287f12f1e1 Poly/ML 5.0 setup for Isabelle2005.
wenzelm
parents:
diff changeset
    31
	Makarius
21764
720b0add5206 added ProofGeneral settings;
wenzelm
parents: 21688
diff changeset
    32
	11-Dec-2006
21688
e5287f12f1e1 Poly/ML 5.0 setup for Isabelle2005.
wenzelm
parents:
diff changeset
    33
e5287f12f1e1 Poly/ML 5.0 setup for Isabelle2005.
wenzelm
parents:
diff changeset
    34
$Id$