twelf-mode: s/string-to-int/string-to-number/#87

robsimmons merged 1 commit into

standardml:mainstandardml/twelf:mainfrom

cdrichards:cdrichards/twelf-modecdrichards/twelf:cdrichards/twelf-modeCopy head branch name to clipboard