equal
deleted
inserted
replaced
396 |
396 |
397 |
397 |
398 (* theory setup *) |
398 (* theory setup *) |
399 |
399 |
400 val _ = Context.>> (Context.map_theory |
400 val _ = Context.>> (Context.map_theory |
401 (register_config Syntax.ast_trace_raw #> |
401 (register_config Ast.ast_trace_raw #> |
402 register_config Syntax.ast_stat_raw #> |
402 register_config Ast.ast_stat_raw #> |
403 register_config Syntax.positions_raw #> |
403 register_config Syntax.positions_raw #> |
404 register_config Syntax.show_brackets_raw #> |
404 register_config Syntax.show_brackets_raw #> |
405 register_config Syntax.show_sorts_raw #> |
405 register_config Syntax.show_sorts_raw #> |
406 register_config Syntax.show_types_raw #> |
406 register_config Syntax.show_types_raw #> |
407 register_config Syntax.show_structs_raw #> |
407 register_config Syntax.show_structs_raw #> |