equal
deleted
inserted
replaced
52 show_types show_types |
52 show_types show_types |
53 show_question_marks show_question_marks |
53 show_question_marks show_question_marks |
54 show_consts show_consts |
54 show_consts show_consts |
55 show_abbrevs show_abbrevs |
55 show_abbrevs show_abbrevs |
56 |
56 |
|
57 Syntax.trace_ast syntax_ast_trace |
|
58 Syntax.stat_ast syntax_ast_stat |
57 Syntax.ambiguity_level syntax_ambiguity_level |
59 Syntax.ambiguity_level syntax_ambiguity_level |
58 |
60 |
59 Goal_Display.goals_limit goals_limit |
61 Goal_Display.goals_limit goals_limit |
60 Goal_Display.show_main_goal show_main_goal |
62 Goal_Display.show_main_goal show_main_goal |
61 |
63 |