Commits

History for

Commits on Jan 16, 2026

Update email address for Jeremy G. Siek (#1170)
jsiek
authored

Commits on Dec 24, 2025

Update contributors (#1164)
wenkokke
authored

Commits on Feb 9, 2025

remove jeremy's twitter (#1093)
wenkokke
authored

Commits on Feb 8, 2025

remove my twitter (#1092)
wenkokke
authored

Commits on Sep 11, 2023

adding bibliography entries in Confluence chapter (#907)

authored

Commits on Jan 4, 2023

simplify some reference names in the bibliography

jsiek
authored and
wenkokke
committed
replace references in Denotational chapter with proper bibliography citations

jsiek
authored and
wenkokke
committed

Commits on Aug 5, 2022

Setup pre-commit
wenkokke
committed

Commits on Jun 18, 2022

Commits on Jun 8, 2022

Fix build and CI (#658)
wenkokke
authored

Loading