Code

Migrating lablgtk3#513

Code

Merged

Stevendeo merged 7 commits intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Halbaroth:migrating-lablgtk3Halbaroth/alt-ergo:migrating-lablgtk3Copy head branch name to clipboardJul 11, 2022

+234-211

Commits

Commits on Jul 8, 2022

• Migrate Alt-Ergo from lablgtk2 to lablgtk3.

  Show description for 42a0c26
  Halbaroth

  committed
  42a0c26

• Add lablgtk3-sourceview3 as a dependency of AltGr-Ergo

  Halbaroth

  committed
  af6b572

• Add the lablgtk3-sourceview3 dependency in dune-project since the opam files are generated by Dune.

  Halbaroth

  committed
  d5dd9a6

• Merge branch 'migrating-lablgtk3' of github.com:Halbaroth/alt-ergo into migrating-lablgtk3

  Halbaroth

  committed
  8029c40

Commits on Jul 11, 2022

• Fix indentation

  Halbaroth

  committed
  058a851

• Improve readability

  Halbaroth

  committed
  12a5619

• Fix indentation and remove a TODO

  Halbaroth

  committed
  0671f15