Commits

Branch selector

 01e4cc6

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 24, 2023

• PrintBox_html: inline the univ. quantified type

  

  lukstafi

  authored and

  c-cube

  committed
  01e4cc6

  Copy full SHA for 01e4cc6

• PrintBox_html: remove rendundant type annotations

  

  lukstafi

  authored and

  c-cube

  committed
  aabc00f

  Copy full SHA for aabc00f

• Optionally wrap text with the <pre> HTML element

  

  lukstafi

  authored and

  c-cube

  committed
  047a4ff

  Copy full SHA for 047a4ff

• Missing mdx dependency for the README example

  

  lukstafi

  authored and

  c-cube

  committed
  5efe269

  Copy full SHA for 5efe269

• Output text consistently as <span>, not <div>

  

  lukstafi

  authored and

  c-cube

  committed
  8c9a796

  Copy full SHA for 8c9a796

• README: the <details>-based tree output

  

  lukstafi

  authored and

  c-cube

  committed
  a8e838d

  Copy full SHA for a8e838d

• Use <details><summary> for collapsible trees

  

  lukstafi

  authored and

  c-cube

  committed
  f5ad782

  Copy full SHA for f5ad782

Commits on Mar 14, 2023

• Tree connectors touching frames

  Show description for 5f80da8
  

  lukstafi

  authored and

  c-cube

  committed
  5f80da8

  Copy full SHA for 5f80da8

Commits on Feb 22, 2022

• detail

  c-cube

  committed
  b384038

  Copy full SHA for b384038

• prepare for 0.6.1

  c-cube

  committed
  64990a9

  Copy full SHA for 64990a9

Commits on Feb 18, 2022

• fix

  c-cube

  committed
  2b3d51f

  Copy full SHA for 2b3d51f

• fix: dune3 compat

  rgrinberg

  committed
  e2ad025

  Copy full SHA for e2ad025

Commits on Jan 26, 2022

• upstream some opam files fixes

  c-cube

  committed
  4ce4d9f

  Copy full SHA for 4ce4d9f

Commits on Jan 18, 2022

• Update the opam file

  

  kit-ty-kate

  authored and

  c-cube

  committed
  73c252c

  Copy full SHA for 73c252c

• Remove unused dependencies (uu* are not used, bytes is already there as it printbox already requires 4.03)

  

  kit-ty-kate

  authored and

  c-cube

  committed
  77cdbbd

  Copy full SHA for 77cdbbd

• prepare for 0.6; update tests; add license file; require dune 2

  c-cube

  committed
  f20e920

  Copy full SHA for f20e920

• fix build for example

  c-cube

  committed
  e11e408

  Copy full SHA for e11e408

Commits on Aug 5, 2021

• forgot opam file

  c-cube

  committed
  431e54d

  Copy full SHA for 431e54d

Commits on Aug 4, 2021

• chore: update ci

  c-cube

  committed
  0330cba

  Copy full SHA for 0330cba

• move text rendering into a new printbox-text library

  c-cube

  committed
  e96e688

  Copy full SHA for e96e688

• Merge pull request c-cube#19 from TypeTheory/martin/alt_uni_box_borders

  Show description for a147d98
  c-cube

  authored
  a147d98

  Copy full SHA for a147d98

• Replace Map.find_opt with Map.find for compatibility with ocaml 4.03

  TypeTheory

  committed
  6d78f1d

  Copy full SHA for 6d78f1d

Commits on Aug 2, 2021

• Changing visuals for hlines and vlines connections, and tree structure

  TypeTheory

  committed
  d43e0b6

  Copy full SHA for d43e0b6

Commits on Aug 1, 2021

• Unicode characters for box borders

  TypeTheory

  committed
  8667d4b

  Copy full SHA for 8667d4b

Commits on Jul 22, 2021

• Wip: new ci (c-cube#18)

  Show description for 4163290
  c-cube

  authored
  4163290

  Copy full SHA for 4163290

• chore: try to relax mdx bounds

  c-cube

  committed
  7964c66

  Copy full SHA for 7964c66

Commits on May 28, 2021

• small fix

  

  mattiasdrp

  authored and

  c-cube

  committed
  579abce

  Copy full SHA for 579abce

• first commit

  

  mattiasdrp

  authored and

  c-cube

  committed
  a470adb

  Copy full SHA for a470adb

• cleaner version

  

  mattiasdrp

  authored and

  c-cube

  committed
  7a22526

  Copy full SHA for 7a22526

Commits on May 27, 2021

• Fixes c-cube#14

  

  mattiasdrp

  authored and

  c-cube

  committed
  79d39f4

  Copy full SHA for 79d39f4

Commits on Mar 6, 2021

• Update PrintBox.mli

  Show description for 36c9558
  

  arbipher

  authored and

  c-cube

  committed
  36c9558

  Copy full SHA for 36c9558

Commits on Feb 28, 2020

• prepare for 0.5

  c-cube

  committed
  cceebae

  Copy full SHA for cceebae

• test: reenable mdx for tests

  c-cube

  committed
  e0d80d2

  Copy full SHA for e0d80d2

Commits on Feb 27, 2020

• feat(html): custom classes/attributes for html translation

  c-cube

  committed
  5418717

  Copy full SHA for 5418717

• feat: add link case

  c-cube

  committed
  37fa3d9

  Copy full SHA for 37fa3d9

Pagination

Previous

Next