src/Pure/IsaMakefile
changeset 26219 2d026932f710
parent 26214 73ed8cb8ac4d
child 26224 5b4e5af10de6
equal deleted inserted replaced
26218:2ea9b992508a 26219:2d026932f710
    48   ML-Systems/multithreading_polyml.ML ML-Systems/overloading_smlnj.ML	\
    48   ML-Systems/multithreading_polyml.ML ML-Systems/overloading_smlnj.ML	\
    49   ML-Systems/polyml-4.1.3.ML ML-Systems/polyml-4.1.4.ML			\
    49   ML-Systems/polyml-4.1.3.ML ML-Systems/polyml-4.1.4.ML			\
    50   ML-Systems/polyml-4.2.0.ML ML-Systems/polyml-5.0.ML			\
    50   ML-Systems/polyml-4.2.0.ML ML-Systems/polyml-5.0.ML			\
    51   ML-Systems/polyml_common.ML ML-Systems/polyml.ML			\
    51   ML-Systems/polyml_common.ML ML-Systems/polyml.ML			\
    52   ML-Systems/poplogml.ML ML-Systems/proper_int.ML ML-Systems/smlnj.ML	\
    52   ML-Systems/poplogml.ML ML-Systems/proper_int.ML ML-Systems/smlnj.ML	\
    53   ML-Systems/time_limit.ML ML-Systems/universal.ML ML/ml_context.ML	\
    53   ML-Systems/system_shell.ML ML-Systems/time_limit.ML			\
    54   ML/ml_lex.ML ML/ml_parse.ML ML/ml_syntax.ML Proof/extraction.ML	\
    54   ML-Systems/universal.ML ML/ml_context.ML ML/ml_lex.ML ML/ml_parse.ML	\
    55   Proof/proof_rewrite_rules.ML Proof/proof_syntax.ML			\
    55   ML/ml_syntax.ML Proof/extraction.ML Proof/proof_rewrite_rules.ML	\
    56   Proof/proofchecker.ML Proof/reconstruct.ML ProofGeneral/ROOT.ML	\
    56   Proof/proof_syntax.ML Proof/proofchecker.ML Proof/reconstruct.ML	\
    57   ProofGeneral/pgip.ML ProofGeneral/pgip_input.ML			\
    57   ProofGeneral/ROOT.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			\
    61   ProofGeneral/pgml_isabelle.ML ProofGeneral/preferences.ML		\
    61   ProofGeneral/pgml_isabelle.ML ProofGeneral/preferences.ML		\
    62   ProofGeneral/proof_general_emacs.ML					\
    62   ProofGeneral/proof_general_emacs.ML					\
    93   ML-Systems/multithreading.ML ML-Systems/multithreading_polyml.ML	\
    93   ML-Systems/multithreading.ML ML-Systems/multithreading_polyml.ML	\
    94   ML-Systems/overloading_smlnj.ML ML-Systems/polyml-4.1.3.ML		\
    94   ML-Systems/overloading_smlnj.ML ML-Systems/polyml-4.1.3.ML		\
    95   ML-Systems/polyml-4.1.4.ML ML-Systems/polyml-4.2.0.ML			\
    95   ML-Systems/polyml-4.1.4.ML ML-Systems/polyml-4.2.0.ML			\
    96   ML-Systems/polyml-5.0.ML ML-Systems/polyml_common.ML			\
    96   ML-Systems/polyml-5.0.ML ML-Systems/polyml_common.ML			\
    97   ML-Systems/polyml.ML ML-Systems/poplogml.ML ML-Systems/proper_int.ML	\
    97   ML-Systems/polyml.ML ML-Systems/poplogml.ML ML-Systems/proper_int.ML	\
    98   ML-Systems/smlnj.ML ML-Systems/time_limit.ML ML-Systems/universal.ML
    98   ML-Systems/smlnj.ML ML-Systems/system_shell.ML			\
       
    99   ML-Systems/time_limit.ML ML-Systems/universal.ML
    99 	@./mk -r
   100 	@./mk -r
   100 
   101 
   101 
   102 
   102 ## clean
   103 ## clean
   103 
   104