Skip to content
Snippets Groups Projects
Select Git revision
  • SharedArrayBuffer
  • ultra-light
  • v8.17 default protected
3 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.018Aug1716151463130Jul282423204326Jun2221191121May1817161211109876543130Apr292425Feb86315Jan87524Dec325Oct24Sep211717Aug1513121197653119Jul17161411876313Jun1210922May21181716151413109812Apr29Mar54121Feb141310331Jan30262321139512Dec15Nov10230Oct2032130Sep28272621191814987129Aug2725231413111098764323Jul1830Jun30Apr2825987643432130Mar292827211817131213121110769Feb76130Jan292725242215Dec1211720Nov138118Sep30Aug2827Jul22Jun20191817161598432131May302827262524232217151412116[refactor] Retired `jscoq-loader.js`.[refactor] Added TeX input module as well.[refactor] Moved remaining deps to `lib.js`.[refactor] Move CM deps into meta-module `lib`.Merge pull request #281 from jscoq/v8.16+code_info_2[inspect] Refactor the API a bit more.[changes] Add changes file.[loader] Revert rename JsCoq -> JsCoqLoader[js config] Set the main file type to `module`[cli] Adapt CLI compilation to new module setup[jscoq] [modules] Refactor a some classes.[jscoq] [modules] Fixes to examples and the loader.[js] [jscoq] Tweaks to CodeMirror set keymap[js] [jscoq] Use ES6 modules step 8: jscoq object[js] [jscoq] Use ES6 modules step 7: Format Pretty Printer[js] [jscoq] Use ES6 modules step 5: UI layout[js] [jscoq] Use ES6 modules step 4: package manager[js] [jscoq] Use ES6 modules step 3: coq-provider[js] [jscoq] Use ES6 modules step 2: coq-manager[js] [jscoq] Use ES6 modules, step 1, loader and infraMerge pull request #277 from jscoq/v8.16+refactor_codehelp[refactoring] Put code info tools in their own file.Merge pull request #279 from jscoq/v8.16+up_ci[ci] Update for newer toolchain.[doc] [refactor] Revived the dft demo.[oops] Removed project-sample from the tutorial.[doc] Added `dft.v` example (for P2P) and sample project.[doc] Added a standalone packaging demo.[doc] The packaging demo.[doc] `coqdoc`-style authoring example.[doc] A minimal authoring demo with Markdown.[ci] Fix CI not running in 8.15 / 8.16 branches.[feature] [ui] Code playground quick paste.[bugfix] `lib_path` is now passed on init.[doc] [bugfix] Typo in sqrt_2 example.[bugfix] [critical] waCoq worker broken.Merge pull request #274 from jscoq/v8.16+p2p[perf] [p2p] Chunking the addon.[ui] Hide the P2P feature behind a beta flag.[ui] Update URL when doc is shared via p2p.