waterproof
waterproof copied to clipboard
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
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...
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...
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...
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...
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...
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...
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...
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....