Commits

Branch selector

 main

User selector

ahelwer

Datepicker

All time

Commit History

Commits on Aug 20, 2025

• Wrote August 2025 dev newsletter

  Show description for 06ec612
  

  ahelwer

  authored and

  lemmy

  committed
  06ec612

  Copy full SHA for 06ec612

Commits on Aug 7, 2025

• Moved industry use above challenge in menu and added icons

  Show description for 0429d77
  

  ahelwer

  authored and

  lemmy

  committed
  0429d77

  Copy full SHA for 0429d77

Commits on Aug 6, 2025

• Copied Lamport's Industry Use page to this site

  Show description for 5096b1d
  

  ahelwer

  authored and

  lemmy

  committed
  5096b1d

  Copy full SHA for 5096b1d

Commits on Jul 18, 2025

• Wrote July 2025 dev update newsletter

  Show description for 680c509
  ahelwer

  committed
  680c509

  Copy full SHA for 680c509

Commits on Jul 13, 2025

• Updated theme to work with newer versions of Hugo

  Show description for ee92fca
  ahelwer

  committed
  ee92fca

  Copy full SHA for ee92fca

Commits on Jun 15, 2025

• Wrote June 2025 development newsletter

  Show description for 8dbd46b
  

  ahelwer

  authored and

  lemmy

  committed
  8dbd46b

  Copy full SHA for 8dbd46b

Commits on May 15, 2025

• Wrote May 2025 dev update newsletter

  Show description for 0991cfb
  

  ahelwer

  authored and

  lemmy

  committed
  0991cfb

  Copy full SHA for 0991cfb

Commits on Apr 15, 2025

• Wrote April 2025 dev update newsletter

  Show description for 0aa2e82
  

  ahelwer

  authored and

  lemmy

  committed
  0aa2e82

  Copy full SHA for 0aa2e82

Commits on Mar 19, 2025

• Updated tlaplus-standard repo link in blog post

  Show description for df27265
  

  ahelwer

  authored and

  lemmy

  committed
  df27265

  Copy full SHA for df27265

Commits on Mar 16, 2025

• Wrote March 2025 development update

  Show description for 4dd9e1d
  

  ahelwer

  authored and

  lemmy

  committed
  4dd9e1d

  Copy full SHA for 4dd9e1d

Commits on Feb 16, 2025

• Add cname to GH pages deploy action

  Show description for 1117224
  

  ahelwer

  authored and

  lemmy

  committed
  1117224

  Copy full SHA for 1117224

Commits on Feb 14, 2025

• Wrote February 2025 development update post

  Show description for b5dec99
  ahelwer

  committed
  b5dec99

  Copy full SHA for b5dec99

Commits on Jan 17, 2025

• Add write permission to CI

  Show description for 0293e8a
  

  ahelwer

  authored and

  lemmy

  committed
  0293e8a

  Copy full SHA for 0293e8a

Commits on Jan 15, 2025

• Wrote January 2025 development update post

  Show description for e993d43
  ahelwer

  committed
  e993d43

  Copy full SHA for e993d43

Commits on Dec 14, 2024

• Wrote December 2024 development update post

  Show description for a087feb
  ahelwer

  committed
  a087feb

  Copy full SHA for a087feb

Commits on Dec 31, 2022

• Merge pull request #4 from tlaplus/jobdesc

  Show description for 3c554ca
  ahelwer

  authored
  3c554ca

  Copy full SHA for 3c554ca

Commits on Apr 12, 2022

• Changed tense in responsibilities

  ahelwer

  committed
  bdceff3

  Copy full SHA for bdceff3

• Fixed spelling of INRIA

  ahelwer

  committed
  20eba4d

  Copy full SHA for 20eba4d

Commits on Apr 11, 2022

• Wrote job post

  ahelwer

  committed
  34f5118

  Copy full SHA for 34f5118

Commits on Mar 25, 2022

• Add minutes for March 25th meeting

  ahelwer

  committed
  e397271

  Copy full SHA for e397271

Commits on Mar 2, 2022

• Added minutes for 03/02/2022 meeting

  ahelwer

  committed
  8eb4bdc

  Copy full SHA for 8eb4bdc

Commits on Feb 25, 2022

• Fixed minutes markdown

  ahelwer

  committed
  afecfa0

  Copy full SHA for afecfa0

• Minutes for Feb 2022 meeting

  ahelwer

  committed
  21775ac

  Copy full SHA for 21775ac

Commits on Jan 29, 2022

• Minutes for 12/22 and 01/25 meetings

  ahelwer

  committed
  0ef90b0

  Copy full SHA for 0ef90b0

Commits on Oct 11, 2021

• Added minutes for 2021-10-11 meeting

  ahelwer

  committed
  3f56e6d

  Copy full SHA for 3f56e6d