Commits

Branch selector

 main

User selector

jeromesimeon

All time

Commit History

Commits on Aug 27, 2021

• Refresh the API documentation (development)

  jeromesimeon

  committedAug 27, 2021
  aff35b3

Commits on Aug 26, 2021

• fix(apidoc) Move git clone up one level for JSDoc generation

  jeromesimeon

  committedAug 26, 2021
  5308f73

• chore(build) Regenerate

  jeromesimeon

  committedAug 26, 2021
  a90d02b

Commits on Jun 29, 2021

• chore(api) Update Concerto API documentation

  jeromesimeon

  committedJun 29, 2021
  59f8f4e

Commits on Jun 17, 2021

• feature(cli) Upgrade CLI documentation for 0.22

  jeromesimeon

  committedJun 17, 2021
  63cdf2b

• chore(0.22) Tag new 0.22 documentation

  jeromesimeon

  committedJun 17, 2021
  22a0c18

• feature(tutorial) Update template studio tutorial for 0.22

  jeromesimeon

  committedJun 17, 2021
  f6d05c8

• feature(doc) Update API docs for 0.22

  jeromesimeon

  committedJun 17, 2021
  bbccd4e

• fix(api) Fixes jsdoc API build script to be consistent with docs

  jeromesimeon

  committedJun 17, 2021
  f151668

• WIP(feature) Upgrade documentation for 0.22

  jeromesimeon

  committedJun 17, 2021
  9aede41

• chore(dep) Upgrade dependencies

  jeromesimeon

  committedJun 17, 2021
  6233339

• Update to Coq annotated code documentation

  jeromesimeon

  committedJun 17, 2021
  01efe00

Commits on Apr 16, 2021

• chore(*) Refresh version 0.21 + fix typo in Ergo optionals

  jeromesimeon

  committedApr 16, 2021
  9c4c6d6

Commits on Oct 27, 2020

• fix(ergo) Update Ergo Stdlib reference

  jeromesimeon

  committedOct 27, 2020
  1288043

Commits on Oct 24, 2020

• fix(ergo) Add documentation for Ergo 'as' expression

  jeromesimeon

  committedOct 24, 2020
  f76bf27

Commits on Oct 8, 2020

• fix(templatemark) Add documentation for amounts formatting

  jeromesimeon

  committedOct 8, 2020
  ed0b050

Commits on Oct 6, 2020

• tag(0.21) Move decorators under concerto ref + republish 0.21

  jeromesimeon

  committedOct 6, 2020
  a041b37

Commits on Sep 29, 2020

• fix(typo) roundtriP

  jeromesimeon

  committedSep 29, 2020
  500016f

• chore(version) Tag for 0.21

  jeromesimeon

  committedSep 29, 2020
  e5a290b

• chore(dep) Upgrade Docusaurus to latest version

  jeromesimeon

  committedSep 29, 2020
  b2754ab

• fix(migration) Update migration guide for 0.21

  jeromesimeon

  committedSep 29, 2020
  e816e0c

• fix(intro) Typo

  jeromesimeon

  committedSep 29, 2020
  e7ca468

• fix(CLI) Refresh CLI info

  jeromesimeon

  committedSep 29, 2020
  b5562fa

• fix(log) Remove spurious log

  jeromesimeon

  committedSep 29, 2020
  798ec13

• fix(templatemark) Add note about formula and parsing/drafting

  jeromesimeon

  committedSep 29, 2020
  72ed8ef

• fix(templatemark) proper block syntax for ulist/olist

  jeromesimeon

  committedSep 29, 2020
  ac4710b

• refactor(ref) Reorganize reference Section

  jeromesimeon

  committedSep 29, 2020
  03bd2a1

• fix(markus) CLI update

  jeromesimeon

  committedSep 29, 2020
  71fbb1f

• fix(markdown) Further revisions to markdown guide

  jeromesimeon

  committedSep 29, 2020
  a876ad8

• fix(markdown) Cleaner intro to ciceromark/templatemark

  jeromesimeon

  committedSep 29, 2020
  ab2cd0a

• fix(intro) More work on doc, cleaning up introduction

  jeromesimeon

  committedSep 29, 2020
  60ee8f7

• WIP(doc) Various documentation improvements + new markdown doc

  jeromesimeon

  committedSep 29, 2020
  95bc2f6

• fix(tutorials) Various fixes to the user tutorials

  jeromesimeon

  committedSep 29, 2020
  4c53114

• fix(tutorial) Update mini late delivery and penalty tutorial

  jeromesimeon

  committedSep 29, 2020
  9a5b1b3

• fix(link) Correct link for Cicero on main page

  jeromesimeon

  committedSep 29, 2020
  d5a9600

Pagination

PreviousNext