src/Pure/ProofGeneral/ROOT.ML
author wenzelm
Fri Jun 13 21:04:42 2008 +0200 (2008-06-13)
changeset 27195 bbf4cbc69243
parent 25375 9482ef88e5bc
child 28030 8b197e2bc66a
permissions -rw-r--r--
map_const: soft version, no failure here;
wenzelm@21943
     1
(*  Title:      Pure/ProofGeneral/ROOT.ML
wenzelm@21943
     2
    ID:         $Id$
wenzelm@21943
     3
    Author:     David Aspinall
wenzelm@21943
     4
wenzelm@24529
     5
Proof General interface for Isabelle, both the traditional Emacs version,
wenzelm@24529
     6
and PGIP experiments.
wenzelm@21943
     7
*)
wenzelm@21943
     8
aspinall@21637
     9
use "pgip_types.ML";
aspinall@23610
    10
use "pgml.ML";
aspinall@21637
    11
use "pgip_markup.ML";
aspinall@21637
    12
use "pgip_input.ML";
aspinall@21637
    13
use "pgip_output.ML";
aspinall@21637
    14
use "pgip.ML";
aspinall@21637
    15
aspinall@21637
    16
use "pgip_isabelle.ML";
aspinall@23610
    17
use "pgml_isabelle.ML";
wenzelm@25375
    18
wenzelm@25375
    19
(use
wenzelm@25375
    20
  |> setmp Proofterm.proofs 1
wenzelm@25375
    21
  |> setmp quick_and_dirty true
wenzelm@25375
    22
  |> setmp auto_quickcheck true) "preferences.ML";
wenzelm@25375
    23
wenzelm@23793
    24
use "pgip_parser.ML";
wenzelm@23793
    25
aspinall@21867
    26
use "pgip_tests.ML";
aspinall@21867
    27
wenzelm@24529
    28
use "proof_general_pgip.ML";
wenzelm@24529
    29
use "proof_general_emacs.ML";
aspinall@21867
    30