Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 15, 2022

• Merge pull request gfngfn#339 from SnO2WMaN/sno2wman/add-lnot

  gfngfn

  committedAug 15, 2022
  cb706f6

• change rel to ord

  SnO2WMaN

  committedAug 15, 2022
  3622a91

Commits on Aug 14, 2022

• Add \lnot

  SnO2WMaN

  committedAug 14, 2022
  eebf8a9

Commits on Aug 13, 2022

• update CHANGELOG

  gfngfn

  committedAug 13, 2022
  748112c

• Merge pull request gfngfn#303 from leque/compact-range

  gfngfn

  committedAug 13, 2022
  faa454d

• Merge pull request gfngfn#329 from leque/support-png

  gfngfn

  committedAug 13, 2022
  829abcb

• Merge pull request gfngfn#334 from sankantsu/fix-spacing-around-paren

  gfngfn

  committedAug 13, 2022
  38446f6

Commits on Aug 10, 2022

• fix math spacing around parentheses

  sankantsu

  committedAug 10, 2022
  020875d

Commits on Aug 8, 2022

• Merge pull request gfngfn#330 from leque/fix-270

  gfngfn

  committedAug 8, 2022
  f057eff

• Merge pull request gfngfn#333 from sankantsu/fix-spacing-at-beggining-of-math

  gfngfn

  committedAug 8, 2022
  8e0d03b

Commits on Aug 5, 2022

• fix spacing of binary operator at the beggining of math mode

  

  GodaiTakashina

  committedAug 5, 2022
  d04ea49

Commits on Jul 30, 2022

• friendlier error message for empty files

  leque

  committedJul 30, 2022
  9d9e211

Commits on Jul 28, 2022

• allow override satysfi command used in Makefiles

  leque

  committedJul 28, 2022
  e394213

Commits on Jul 27, 2022

• build tests on ci

  leque

  committedJul 27, 2022
  a152d90

• fix some builds

  leque

  committedJul 27, 2022
  7b87248

• tweak Makefiles

  leque

  committedJul 27, 2022
  ab3d5ba

Commits on Jul 25, 2022

• add doc comments

  leque

  committedJul 25, 2022
  7307627

Commits on Jul 24, 2022

• support png images

  leque

  committedJul 24, 2022
  9041f12

Commits on May 31, 2022

• Merge pull request gfngfn#328 from y-yu/patch-1

  gfngfn

  committedMay 31, 2022
  133dcfb

Commits on May 30, 2022

• Try to add new OCaml version 4.13.1 and 4.14.0

  y-yu

  committedMay 30, 2022
  7d3d8ae

Commits on May 22, 2022

• Merge pull request gfngfn#325 from pickoba/fix-document

  gfngfn

  committedMay 22, 2022
  df01321

Commits on Apr 19, 2022

• fix doc-primitives.saty

  pickoba

  committedApr 19, 2022
  f052a8b

Commits on Apr 13, 2022

• Merge pull request gfngfn#324 from gfngfn/release-0-0-7

  gfngfn

  committedApr 13, 2022
  aecb432

• update the opam file

  gfngfn

  committedApr 13, 2022
  7e86948

• release v0.0.7

  gfngfn

  committedApr 13, 2022
  48b2c9e

• Merge pull request gfngfn#320 from yasuo-ozu/fix_core_kernel_rename

  gfngfn

  committedApr 13, 2022
  8d8dab5

Commits on Mar 22, 2022

• rerun ci

  yasuo-ozu

  committedMar 22, 2022
  9dc4221

• fix opam

  yasuo-ozu

  committedMar 22, 2022
  5ecd618

Commits on Jan 18, 2022

• Merge pull request gfngfn#317 from aumyfork/delete-memo-ja-how-to-use

  gfngfn

  committedJan 18, 2022
  934cc2a

Commits on Jan 16, 2022

• delete memo-ja-how-to-use.md

  AumyF

  committedJan 16, 2022
  e315123

• Merge pull request gfngfn#305 from leque/ci-test

  gfngfn

  committedJan 16, 2022
  2557fb5

• Merge pull request gfngfn#316 from puripuri2100/fix-doc

  gfngfn

  committedJan 16, 2022
  7b27267

Commits on Jan 12, 2022

• fix description of register-document-information

  puripuri2100

  committedJan 12, 2022
  e4271fe

Commits on Dec 24, 2021

• pprint Range.Normal in compact (GNU style) format

  leque

  committedDec 24, 2021
  7210b59

Commits on Nov 6, 2021

• install files under ~/.satysfi

  leque

  committedNov 6, 2021
  23a6a14

Pagination

PreviousNext