equal
deleted
inserted
replaced
500 OuterKeyword ~> Keyword |
500 OuterKeyword ~> Keyword |
501 OuterLex ~> Token |
501 OuterLex ~> Token |
502 OuterParse ~> Parse |
502 OuterParse ~> Parse |
503 OuterSyntax ~> Outer_Syntax |
503 OuterSyntax ~> Outer_Syntax |
504 SpecParse ~> Parse_Spec |
504 SpecParse ~> Parse_Spec |
|
505 TypeInfer ~> Type_Infer |
505 |
506 |
506 Note that "open Legacy" simplifies porting of sources, but forgetting |
507 Note that "open Legacy" simplifies porting of sources, but forgetting |
507 to remove it again will complicate porting again in the future. |
508 to remove it again will complicate porting again in the future. |
508 |
509 |
509 * Most operations that refer to a global context are named |
510 * Most operations that refer to a global context are named |