src/Pure/IsaMakefile
changeset 25272 2dbc2bbe237a
parent 24914 95cda5dd58d5
child 25275 76d7f3fd4fb3
equal deleted inserted replaced
25271:f28efd37e18a 25272:2dbc2bbe237a
    55   Proof/extraction.ML Proof/proof_rewrite_rules.ML Proof/proof_syntax.ML	\
    55   Proof/extraction.ML Proof/proof_rewrite_rules.ML Proof/proof_syntax.ML	\
    56   Proof/proofchecker.ML Proof/reconstruct.ML ProofGeneral/ROOT.ML		\
    56   Proof/proofchecker.ML Proof/reconstruct.ML ProofGeneral/ROOT.ML		\
    57   ProofGeneral/parsing.ML ProofGeneral/pgip.ML ProofGeneral/pgip_input.ML	\
    57   ProofGeneral/parsing.ML ProofGeneral/pgip.ML ProofGeneral/pgip_input.ML	\
    58   ProofGeneral/pgip_isabelle.ML ProofGeneral/pgip_markup.ML			\
    58   ProofGeneral/pgip_isabelle.ML ProofGeneral/pgip_markup.ML			\
    59   ProofGeneral/pgip_output.ML ProofGeneral/pgip_parser.ML			\
    59   ProofGeneral/pgip_output.ML ProofGeneral/pgip_parser.ML			\
    60   ProofGeneral/pgip_tests.ML ProofGeneral/pgip_types.ML				\
    60   ProofGeneral/pgip_tests.ML ProofGeneral/pgip_types.ML ProofGeneral/pgml_isabelle.ML				\
    61   ProofGeneral/preferences.ML ProofGeneral/proof_general_emacs.ML 		\
    61   ProofGeneral/preferences.ML ProofGeneral/proof_general_emacs.ML 		\
    62   ProofGeneral/proof_general_pgip.ML Pure.thy ROOT.ML Syntax/ast.ML		\
    62   ProofGeneral/proof_general_pgip.ML Pure.thy ROOT.ML Syntax/ast.ML		\
    63   Syntax/lexicon.ML Syntax/mixfix.ML Syntax/parser.ML Syntax/printer.ML		\
    63   Syntax/lexicon.ML Syntax/mixfix.ML Syntax/parser.ML Syntax/printer.ML		\
    64   Syntax/simple_syntax.ML Syntax/syn_ext.ML Syntax/syn_trans.ML Syntax/syntax.ML\
    64   Syntax/simple_syntax.ML Syntax/syn_ext.ML Syntax/syn_trans.ML Syntax/syntax.ML\
    65   Syntax/type_ext.ML Thy/html.ML Thy/latex.ML Thy/present.ML			\
    65   Syntax/type_ext.ML Thy/html.ML Thy/latex.ML Thy/present.ML			\