Commits

Branch selector

 07e6132

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 5, 2021

• Remove unneeded dependency on depext

  na4zagin3

  committedSep 5, 2021
  07e6132

Commits on Jun 20, 2021

• update CHANGELOG

  gfngfn

  committedJun 20, 2021
  2960f11

• Merge branch 'pullreq-leque-2-remove-dep-on-ruby'

  gfngfn

  committedJun 20, 2021
  b0a3f2d

• fix a mistake introduced when trying to merge \gfngfn#142 (2)

  gfngfn

  committedJun 20, 2021
  89c19bf

• fix a mistake introduced when trying to merge \gfngfn#142

  gfngfn

  committedJun 20, 2021
  4891472

• merge \gfngfn#142 by fixing conflicts

  gfngfn

  committedJun 20, 2021
  6c48c92

• Merge pull request gfngfn#171 from matsud224/fix-set-compare

  gfngfn

  committedJun 20, 2021
  b75079e

Commits on Jun 19, 2021

• Merge pull request gfngfn#276 from TonalidadeHidrica/enhance-gitignore

  gfngfn

  committedJun 19, 2021
  2867e4d

• Merge pull request gfngfn#273 from na4zagin3/feature/fix-opam-local-switch

  gfngfn

  committedJun 19, 2021
  4f46bf8

Commits on Jun 18, 2021

• Allow _opam to be a file (i.e. symlink) as well as directory

  TonalidadeHidrica

  committedJun 18, 2021
  ed0e060

• Enhance Ocaml-related gitignore based on gitignore.io

  TonalidadeHidrica

  committedJun 18, 2021
  15964cf

Commits on Jun 16, 2021

• Merge remote-tracking branch 'origin/master'

  gfngfn

  committedJun 16, 2021
  47ed14b

• Merge branch 'fix-math-chars'

  gfngfn

  committedJun 16, 2021
  2021308

• fix how to show ranges

  gfngfn

  committedJun 16, 2021
  2561749

• fix how to treat math sub/superscripts

  gfngfn

  committedJun 16, 2021
  0404981

• replace 'MATHCHAR' with 'MATHCHARS'

  gfngfn

  committedJun 16, 2021
  2d9e7b7

Commits on May 8, 2021

• Specify root dir to dune build

  na4zagin3

  committedMay 8, 2021
  22133fa

Commits on Apr 29, 2021

• Merge pull request gfngfn#271 from na4zagin3/feature/readme-satyrographos

  gfngfn

  committedApr 29, 2021
  a86452b

Commits on Apr 26, 2021

• Recommend Satyrographos for non-dev users

  na4zagin3

  committedApr 26, 2021
  3d5739c

Commits on Apr 22, 2021

• correct some expressions in CHANGELOG

  gfngfn

  committedApr 22, 2021
  fe3d27a

• update CHANGELOG about 'register-document-information'

  gfngfn

  committedApr 22, 2021
  39456cd

• Merge pull request gfngfn#268 from puripuri2100/set-up-a-document-information-dictionary

  gfngfn

  committedApr 22, 2021
  5f5b637

• rename

  puripuri2100

  committedApr 22, 2021
  bb4a044

• add 'set-document-information'

  puripuri2100

  committedApr 22, 2021
  e783424

Commits on Apr 20, 2021

• fix

  puripuri2100

  committedApr 20, 2021
  d83eeab

• fix

  puripuri2100

  committedApr 20, 2021
  7ee8082

• fix character code

  puripuri2100

  committedApr 20, 2021
  f4e85cd

Commits on Apr 19, 2021

• [WIP] be able to set up a document information dictionary

  puripuri2100

  committedApr 19, 2021
  d27e527

Commits on Mar 16, 2021

• update CHANGELOG about the extension of the math mode

  gfngfn

  committedMar 16, 2021
  9dbd61d

• Merge branch 'dev-chars-in-math'

  gfngfn

  committedMar 16, 2021
  ccf398c

• add new primitive 'set-math-char'

  gfngfn

  committedMar 16, 2021
  9990d9b

• refactor how to treat code points occurring in the math mode

  gfngfn

  committedMar 16, 2021
  34a94b3

• extend the lexer about characters in the math mode

  gfngfn

  committedMar 16, 2021
  dc5c889

Commits on Mar 13, 2021

• Merge pull request gfngfn#264 from amutake/fix/build-omd

  gfngfn

  committedMar 13, 2021
  bcf1cca

Commits on Mar 10, 2021

• Restrict omd version

  amutake

  committedMar 10, 2021
  b3868a9

Pagination

PreviousNext