Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 805b7773c3ab1518c6e76b5c4d5ac67a163b0b95
  • v8.17 default protected
  • SharedArrayBuffer
  • ultra-light
4 results
  • Display full history
  • Display up to revision
Created with Raphaël 2.2.07Aug653119Jul17161411876313Jun1210922May21181716151413109812Apr29Mar54121Feb141310331Jan30262321139512Dec15Nov10230Oct2032130Sep28272621191814987129Aug2725231413111098764323Jul1830Jun30Apr2825987643432130Mar292827211817131213121110769Feb76130Jan292725242215Dec1211720Nov138118Sep30Aug2827Jul22Jun20191817161598432131May302827262524232217151412116432127Apr2625242321201918171514131211109843131Mar30282726252423222120[merge] Beginning of the end.[merge] Updated graphics from waCoq branch.[cleanup] Addons are now external.[port] Freshen up some deps.[merge] AnalyzeTask and other project functionality.[port] Upgrade TypeScript.[qa] Reinstated sanity unit-tests.[merge] Consolidated `coq-packages.js`.[refactor] Move the option settings to `NewDoc`.[oops] Styling mishap.[merge] Consolidated `coq-manager.js`.[merge] Consolidated `jscoq.js` with waCoq.[feature] Ported over protocol changes from waCoq.[ui] [gfx] Merged styling from waCoq (manually).Merge pull request #245 from jscoq/v8.13+pprint-refactor[meta] FormatPrettyPrint CHANGES entry.[bugfix] Offset overshoot in pretty-print.[refactor] Modified the pprint logic.[bugfix] [ui] PgUp/Dn scrolling with snippets.[qa] Improved pprint gallery.[bugfix] Error in local Inspect.[bugfix] [ui] Broken layout of settings panel.[docs] A manual![bugfix] Handling of error markers and comments.[ui] Updated the symbols some more.[doc] Set `implicit_libs` in NPM example.[doc] Fixed docs on embedding.[doc] README for docker.Merge pull request #243 from jscoq/v8.13+docker_ci[meta] Bump version to 0.13.1 and update CHANGES.[feature] Added some additional symbols.Merge pull request #223 from jscoq/v8.13+bump_deps[feature] CLI flag `--ignore-missing`.[ci] Make jsCoq SDK docker work again.[bugfix] Do not fail if `_ssh` does not exist.[qa] Link consumed addons to build dir.[ci] Add step to build Docker image.[build] Bump required compiler version to 4.12.0[readme] Icon for Travis -> Github WorkflowMerge pull request #238 from jscoq/v8.13+proto_interp