Commits

Branch selector

 master

User selector

leque

Datepicker

All time

Commit History

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 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

• cache dist fonts

  leque

  committedNov 6, 2021
  cf7d3a5

• run tests on GitHub Actions

  leque

  committedNov 6, 2021
  4b9c4ba

Commits on Oct 28, 2021

• fix type description of ClipGraphicsByPath

  leque

  committedOct 28, 2021
  38d51d0

• Merge branch 'master' into primdoc

  leque

  committedOct 28, 2021
  83434ef

Commits on Oct 27, 2021

• fix type names

  leque

  committedOct 27, 2021
  f68c00b

Commits on Oct 26, 2021

• support ${a'^1_2} and ${a'_2^1}

  leque

  committedOct 26, 2021
  e5780e5

• refactor

  leque

  committedOct 26, 2021
  2e143bd

• test case

  leque

  committedOct 26, 2021
  2b84b9c

Commits on Oct 25, 2021

• support negation on float/length literal

  leque

  committedOct 25, 2021
  47cb291

Commits on Oct 24, 2021

• parenthesize operator names

  leque

  committedOct 24, 2021
  5672fdd

• align

  leque

  committedOct 24, 2021
  9ba55ae

• use inline records

  leque

  committedOct 24, 2021
  d28bcac

• generate doc comments for primitives

  leque

  committedOct 24, 2021
  18f5d06

• represent gencode types by Type.t

  leque

  committedOct 24, 2021
  bca0197

Commits on Mar 18, 2019

• refactor nxvariantdec

  leque

  committedMar 18, 2019
  526f534

• refactor mathlist

  leque

  committedMar 18, 2019
  b9f2c0b

• refactor sxlist

  leque

  committedMar 18, 2019
  c17f798

• refactor patlist

  leque

  committedMar 18, 2019
  1b0f142

• refactor pattuple

  leque

  committedMar 18, 2019
  41b9418

• refactor pats

  leque

  committedMar 18, 2019
  62b76e1

• refactor txrecord

  leque

  committedMar 18, 2019
  c49315b

• refactor txlist

  leque

  committedMar 18, 2019
  f4486fe

• refactor txprod

  leque

  committedMar 18, 2019
  d3c0b2d

• refactor variants

  leque

  committedMar 18, 2019
  f21b159

• merge nxbinop and nxun into nxop

  leque

  committedMar 18, 2019
  9ba0215

• rewrite binop rules by using operator priority & associativity. fixes gfngfn#174

  leque

  committedMar 18, 2019
  ca9a04b

Pagination

PreviousNext