equal
deleted
inserted
replaced
158 "Proof/extraction.ML" |
158 "Proof/extraction.ML" |
159 "Proof/proof_checker.ML" |
159 "Proof/proof_checker.ML" |
160 "Proof/proof_rewrite_rules.ML" |
160 "Proof/proof_rewrite_rules.ML" |
161 "Proof/proof_syntax.ML" |
161 "Proof/proof_syntax.ML" |
162 "Proof/reconstruct.ML" |
162 "Proof/reconstruct.ML" |
163 "ProofGeneral/pgip_input.ML" |
|
164 "ProofGeneral/pgip_isabelle.ML" |
|
165 "ProofGeneral/pgip_markup.ML" |
|
166 "ProofGeneral/pgip_output.ML" |
163 "ProofGeneral/pgip_output.ML" |
167 "ProofGeneral/pgip_parser.ML" |
|
168 "ProofGeneral/pgip_types.ML" |
164 "ProofGeneral/pgip_types.ML" |
169 "ProofGeneral/pgml.ML" |
|
170 "ProofGeneral/preferences.ML" |
165 "ProofGeneral/preferences.ML" |
171 "ProofGeneral/proof_general_emacs.ML" |
166 "ProofGeneral/proof_general_emacs.ML" |
172 "ProofGeneral/proof_general_pgip.ML" |
167 "ProofGeneral/proof_general_pgip.ML" |
173 "ROOT.ML" |
168 "ROOT.ML" |
174 "Syntax/ast.ML" |
169 "Syntax/ast.ML" |