Proc change multiline to range + deep code position#831

strub merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

procchange_deepcodeposEasyCrypt/easycrypt:procchange_deepcodeposCopy head branch name to clipboard