Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 30, 2021

• Put proofgeneral configuration into forked proofgeneral repo.

  Show description for 88e24d0
  dominique-unruh

  committed
  88e24d0

  Copy full SHA for 88e24d0

Commits on Sep 26, 2020

• Included scala-isabelle as a submodule.

  dominique-unruh

  committed
  1ff01fe

  Copy full SHA for 1ff01fe

Commits on Sep 25, 2019

• Fixed submodules

  dominique-unruh

  committed
  efd10ab

  Copy full SHA for efd10ab

Commits on Sep 24, 2019

• Updated to newest Bounded Operators / Tensor Product libraries

  dominique-unruh

  committed
  2f98615

  Copy full SHA for 2f98615

Commits on Mar 4, 2019

• Extracted bounded operators into separate repo

  dominique-unruh

  committed
  2274f30

  Copy full SHA for 2274f30

Loading