Commits

Breadcrumbs

History for

onmdv-equations-spaces

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 30, 2024

• Fix the Hasse diagram widget to support facts (teorth#138)

  Show description for b252972
  

  nomeata

  and

  eric-wieser

  authored
  b252972

  Copy full SHA for b252972

Commits on Sep 27, 2024

• Better rendering options

  0art0

  committed
  434f16d

  Copy full SHA for 434f16d

• Code for diagram visualization using Vis.js

  0art0

  committed
  cd355cf

  Copy full SHA for cd355cf

• Updated TypeScript configuration files

  0art0

  committed
  f8e6717

  Copy full SHA for f8e6717

• Initializing widget TypeScript project using ProofWidgets configuration

  0art0

  committed
  fde5856

  Copy full SHA for fde5856

Loading