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.015Aug1463130Jul282423204326Jun2221191121May1817161211109876543130Apr292425Feb86315Jan87524Dec325Oct24Sep211717Aug1513121197653119Jul17161411876313Jun1210922May21181716151413109812Apr29Mar54121Feb141310331Jan30262321139512Dec15Nov10230Oct2032130Sep28272621191814987129Aug2725231413111098764323Jul1830Jun30Apr2825987643432130Mar292827211817131213121110769Feb76130Jan292725242215Dec1211720Nov138118Sep30Aug2827Jul22Jun20191817161598432131May302827262524232217151412116432127Apr[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.[gfx] Share icon.[feature] [collab] Share to P2P URI.[ui] Extremely spartan p2p UI.[refactor] Arranged collab addon in a directory.[feature] Hook up P2P client.[doc] Corrected an anachronistic comment.[build] Make `bootstrap` a dev dep.[build] Added findlib.conf for SDK image.[ci] Updated Docker for 8.16.[bugfix] [build] Fix failing CI.Merge pull request #273 from jscoq/dependabot/npm_and_yarn/terser-5.14.2Bump terser from 5.7.1 to 5.14.2[build] Use directory target for `node_modules`.[build] [bugfix] Alias with `(mode promote)` is weird.[cleanup] Some unused funcs.[build] [port] Added patch for Dune 3.[port] Coq 8.16: adjusted `inspect_local`.[port] Bumped required Dune dep to 3.2.[oops] Bad line in patch.[meta] Bumped version to 0.16.0.[port] Adjusted patches for 8.16.[jscoq] Preliminary upgrade to Coq 8.16Merge pull request #269 from jscoq/v8.15+packaging-fixes[bugfix] Error in pretty-print.[meta] Updated CHANGES.[doc] Added link to Coqoban.[port] Adjust for newer OPAM + note about Node.js.[oops] Stray `console.warn`.Merge pull request #268 from jscoq/v8.15+landing-page[feature] Worker load progress.