equal
deleted
inserted
replaced
60 Proof/proof_syntax.ML Proof/proofchecker.ML Proof/reconstruct.ML \ |
60 Proof/proof_syntax.ML Proof/proofchecker.ML Proof/reconstruct.ML \ |
61 ProofGeneral/ROOT.ML ProofGeneral/pgip.ML ProofGeneral/pgip_input.ML \ |
61 ProofGeneral/ROOT.ML ProofGeneral/pgip.ML ProofGeneral/pgip_input.ML \ |
62 ProofGeneral/pgip_isabelle.ML ProofGeneral/pgip_markup.ML \ |
62 ProofGeneral/pgip_isabelle.ML ProofGeneral/pgip_markup.ML \ |
63 ProofGeneral/pgip_output.ML ProofGeneral/pgip_parser.ML \ |
63 ProofGeneral/pgip_output.ML ProofGeneral/pgip_parser.ML \ |
64 ProofGeneral/pgip_tests.ML ProofGeneral/pgip_types.ML \ |
64 ProofGeneral/pgip_tests.ML ProofGeneral/pgip_types.ML \ |
65 ProofGeneral/pgml_isabelle.ML ProofGeneral/preferences.ML \ |
65 ProofGeneral/preferences.ML ProofGeneral/proof_general_emacs.ML \ |
66 ProofGeneral/proof_general_emacs.ML \ |
|
67 ProofGeneral/proof_general_pgip.ML Pure.thy ROOT.ML Syntax/ast.ML \ |
66 ProofGeneral/proof_general_pgip.ML Pure.thy ROOT.ML Syntax/ast.ML \ |
68 Syntax/lexicon.ML Syntax/mixfix.ML Syntax/parser.ML \ |
67 Syntax/lexicon.ML Syntax/mixfix.ML Syntax/parser.ML \ |
69 Syntax/printer.ML Syntax/simple_syntax.ML Syntax/syn_ext.ML \ |
68 Syntax/printer.ML Syntax/simple_syntax.ML Syntax/syn_ext.ML \ |
70 Syntax/syn_trans.ML Syntax/syntax.ML Syntax/type_ext.ML Thy/html.ML \ |
69 Syntax/syn_trans.ML Syntax/syntax.ML Syntax/type_ext.ML Thy/html.ML \ |
71 Thy/latex.ML Thy/present.ML Thy/term_style.ML Thy/thm_deps.ML \ |
70 Thy/latex.ML Thy/present.ML Thy/term_style.ML Thy/thm_deps.ML \ |