waterproof icon indicating copy to clipboard operation
waterproof copied to clipboard

Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.

Results 31 waterproof issues
Sort by recently updated
recently updated
newest added

Bumps [decode-uri-component](https://github.com/SamVerschueren/decode-uri-component) from 0.2.0 to 0.2.2. Release notes Sourced from decode-uri-component's releases. v0.2.2 Prevent overwriting previously decoded tokens 980e0bf https://github.com/SamVerschueren/decode-uri-component/compare/v0.2.1...v0.2.2 v0.2.1 Switch to GitHub workflows 76abc93 Fix issue where decode...

dependencies

Still needs improvement Highlights: - overview tab on the right (next to other assistance buttons) - need to click the title "Overview" to update the overview (looking for improvements). This...

See specification.md for details on import/export todo - [ ] I think we still need to support importing non-notebooks? So files that contain no previous notebook-structure in comments, but are...

Bumps [loader-utils](https://github.com/webpack/loader-utils) to 1.4.2 and updates ancestor dependencies [loader-utils](https://github.com/webpack/loader-utils), [loader-utils](https://github.com/webpack/loader-utils) and [@vue/cli-service](https://github.com/vuejs/vue-cli/tree/HEAD/packages/@vue/cli-service). These dependencies need to be updated together. Updates `loader-utils` from 1.2.3 to 1.4.2 Release notes Sourced from loader-utils's...

dependencies

Bumps [electron](https://github.com/electron/electron) from 11.5.0 to 18.3.7. Release notes Sourced from electron's releases. electron v18.3.7 Release Notes for v18.3.7 Fixes Fixed WCO not responding to touch events on windows. #35177 (Also...

dependencies

Bumps [ejs](https://github.com/mde/ejs) to 3.1.8 and updates ancestor dependency [@vue/cli-service](https://github.com/vuejs/vue-cli/tree/HEAD/packages/@vue/cli-service). These dependencies need to be updated together. Updates `ejs` from 3.1.6 to 3.1.8 Release notes Sourced from ejs's releases. v3.1.8 Version...

dependencies

Bumps [scss-tokenizer](https://github.com/sasstools/scss-tokenizer) to 0.4.3 and updates ancestor dependency [node-sass](https://github.com/sass/node-sass). These dependencies need to be updated together. Updates `scss-tokenizer` from 0.2.3 to 0.4.3 Release notes Sourced from scss-tokenizer's releases. v0.4.3 What's...

dependencies

Bumps [jsdom](https://github.com/jsdom/jsdom) to 18.1.1 and updates ancestor dependency [@vue/cli-plugin-unit-mocha](https://github.com/vuejs/vue-cli/tree/HEAD/packages/@vue/cli-plugin-unit-mocha). These dependencies need to be updated together. Updates `jsdom` from 15.2.1 to 18.1.1 Release notes Sourced from jsdom's releases. Version 18.1.1...

dependencies

Bumps [jpeg-js](https://github.com/eugeneware/jpeg-js) to 0.4.4 and updates ancestor dependency [electron-icon-builder](https://github.com/safu9/electron-icon-builder). These dependencies need to be updated together. Updates `jpeg-js` from 0.3.7 to 0.4.4 Release notes Sourced from jpeg-js's releases. v0.4.4 v0.4.4...

dependencies

Bumps [@hapi/hoek](https://github.com/hapijs/hoek) from 8.3.2 to 8.5.1. Commits 5bd73f6 8.5.1 4d0804b Backport #352. Closes #353 4ae5f53 8.5.0 83019b8 Add isPromise(). Closes #346 b9aa286 Add declaration 5dcbb9c 8.4.0 d898b06 Add TS utils....

dependencies