Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 9, 2024

• Merge pull request #449 from ghaaj/master

  gfngfn

  committedAug 9, 2024
  4d27f13

• fix duplication of font-latin-bold

  ghaaj

  committedAug 9, 2024
  ac6f984

Commits on Aug 4, 2024

• Merge pull request #448 from smorimoto/fix-opam-dependency-submission

  gfngfn

  committedAug 4, 2024
  4d25474

• Fix Opam Dependency Submission workflow

  smorimoto

  committedAug 4, 2024
  e39a333

• Merge pull request #447 from smorimoto/cleanup

  gfngfn

  committedAug 4, 2024
  cd715db

• Cleanup

  smorimoto

  committedAug 4, 2024
  a1a7846

Commits on Jul 29, 2024

• Merge pull request #446 from smorimoto/pervasives-stdlib

  gfngfn

  committedJul 29, 2024
  9882630

Commits on Jul 6, 2024

• Pervasives -> Stdlib

  smorimoto

  committedJul 6, 2024
  b8801ce

Commits on Jul 4, 2024

• Merge pull request #445 from smorimoto/setup-ocaml-v3

  gfngfn

  committedJul 4, 2024
  c712a75

• BatOption -> Option

  smorimoto

  committedJul 4, 2024
  b21c43c

• dune 3.16

  smorimoto

  committedJul 4, 2024
  80d976c

• Update ocaml/setup-ocaml to v3

  smorimoto

  committedJul 4, 2024
  26a54a5

Commits on Jun 22, 2024

• Merge pull request #442 from nsfisis/feat/transparent-png-image

  gfngfn

  committedJun 22, 2024
  98d8eb2

Commits on Jun 21, 2024

• support transparent PNG images

  nsfisis

  committedJun 21, 2024
  9ad9512

Commits on May 19, 2024

• Merge pull request #438 from smorimoto/update-gha

  gfngfn

  committedMay 19, 2024
  879664e

Commits on Apr 10, 2024

• Update GitHub Actions

  smorimoto

  committedApr 10, 2024
  dbd51c3

Commits on Feb 26, 2024

• Merge pull request #431 from mtshiba/fix-mitou

  gfngfn

  committedFeb 26, 2024
  cc6a054

• fix mitou-report numbering bug

  mtshiba

  committedFeb 26, 2024
  68990bf

Commits on Feb 5, 2024

• Merge branch 'master' of github.com:gfngfn/SATySFi

  gfngfn

  committedFeb 5, 2024
  8792aa8

• update README

  gfngfn

  committedFeb 5, 2024
  eee46e8

• Merge pull request #428 from gfngfn/release-0-0-11

  gfngfn

  committedFeb 5, 2024
  71f00da

• release 0.0.11

  gfngfn

  committedFeb 5, 2024
  1150d30

• Merge pull request #419 from y-yu/generate-version-from-opam-file

  gfngfn

  committedFeb 5, 2024
  e1e2ad0

• Merge pull request #426 from gfngfn/fix-camlimages-dependencies

  gfngfn

  committedFeb 5, 2024
  cec8c17

Commits on Feb 3, 2024

• revert change on the version constraint of camlimages for the moment

  gfngfn

  committedFeb 3, 2024
  e0f744e

Commits on Jan 18, 2024

• specify more versions in satysfi.opam

  gfngfn

  committedJan 18, 2024
  62dcbfd

• fix src/dune about how to use camlimages

  gfngfn

  committedJan 18, 2024
  cfc4c9d

Commits on Dec 31, 2023

• Merge pull request #425 from gfngfn/avoid-camlimages-5-0-5

  gfngfn

  committedDec 31, 2023
  34bf0de

• avoid camlimages.5.0.5 for an installation issue

  gfngfn

  committedDec 31, 2023
  8338dbe

Commits on Oct 23, 2023

• Merge branch 'master' into generate-version-from-opam-file

  y-yu

  committedOct 23, 2023
  49e20f3

Commits on Oct 22, 2023

• Merge pull request #418 from gfngfn/release-0-0-10

  gfngfn

  committedOct 22, 2023
  530ab47

• Generate version info from satysfi.opam

  y-yu

  committedOct 22, 2023
  21c4764

• release SATySFi 0.0.10

  gfngfn

  committedOct 22, 2023
  9cac537

Commits on Oct 2, 2023

• Merge pull request #416 from gfngfn/warn-cell-overriding-instead-of-aborting

  gfngfn

  committedOct 2, 2023
  eee3a68

Commits on Oct 1, 2023

• warn overriding of non-empty tabular cells instead of aborting

  gfngfn

  committedOct 1, 2023
  01db5e6

Pagination

PreviousNext