../ Graphics/Fix bug reported by @Dandandan in which a runtime error leads to a crash13 years ago Signal/Use Native.List instead of List, fixing some bugs13 years ago Basics.jsSwitch isFinite to isInfinite and improve documentation13 years ago Bitwise.jsFix stupid error in Bitwise library13 years ago Char.jsNew convention for storing module values, fixes bug13 years ago Color.jsMove conversion from colors to CSS to the Color library13 years ago Date.jsRemove all uses of JavaScript module.13 years ago Debug.jsFix bug with log function13 years ago Error.jsNew convention for storing module values, fixes bug13 years ago Function.jsConvert the List and Misc modules.14 years ago JavaScript.jscosmetic: make indentation consistent13 years ago Json.jsUse Native.List instead of List and make minor cosmetic changes13 years ago List.jsFix problem with Text alignment!13 years ago Ports.jsSimplify the JS API for sending values to signal ports, making error handling more reasonable13 years ago Regex.jsUse Native.List instead of List, fixing some bugs13 years ago Show.jsRemove unused dependencies13 years ago String.jsUse Native.List instead of List, fixing some bugs13 years ago Text.jsGet rid of non-standard function (not in Safari)13 years ago Trampoline.jscosmetic: mess with style13 years ago Transform2D.jsAdd scale and documentation for translation13 years ago Utils.jsFormat code to be a bit more readable13 years ago