Fix syntax highlighting for 'macro-rec' and add highlighting for 'alias-rec' and 'alias'#57
Open
zwx13 wants to merge 1 commit intoruntimeverification:masterfrom
Open
Fix syntax highlighting for 'macro-rec' and add highlighting for 'alias-rec' and 'alias'#57zwx13 wants to merge 1 commit intoruntimeverification:masterfrom
zwx13 wants to merge 1 commit intoruntimeverification:masterfrom
