src/Pure/ROOT.ML
changeset 48641 92b48b8abfe4
parent 48456 d8ff14f44a40
child 48646 91281e9472d8
     1.1 --- a/src/Pure/ROOT.ML	Wed Aug 01 22:12:29 2012 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Wed Aug 01 23:33:26 2012 +0200
     1.3 @@ -259,7 +259,6 @@
     1.4  use "Isar/rule_insts.ML";
     1.5  use "Thy/thm_deps.ML";
     1.6  use "Isar/isar_cmd.ML";
     1.7 -use "Isar/isar_syn.ML";
     1.8  
     1.9  use "subgoal.ML";
    1.10  
    1.11 @@ -302,11 +301,11 @@
    1.12  
    1.13  use "ProofGeneral/pgip_parser.ML";
    1.14  
    1.15 -use "ProofGeneral/pgip_tests.ML";
    1.16 -
    1.17  use "ProofGeneral/proof_general_pgip.ML";
    1.18  use "ProofGeneral/proof_general_emacs.ML";
    1.19  
    1.20  
    1.21  use "pure_setup.ML";
    1.22  
    1.23 +use "ProofGeneral/pgip_tests.ML";
    1.24 +