Commits

Branch selector

 master

User selector

hwayne

Datepicker

All time

Commit History

Commits on Jul 5, 2023

• Merge branch 'master' of https://github.com/hwayne/learntla-v2

  hwayne

  committedJul 5, 2023
  9b2fe1b

• Fix hwayne#49, hwayne#48, hwayne#47

  hwayne

  committedJul 5, 2023
  292f4e5

Commits on Jun 27, 2023

• Add unbound models topic

  hwayne

  committedJun 27, 2023
  81813f5

• Fix small issues, add more info on CLI command line options, function ops

  hwayne

  committedJun 27, 2023
  1768190

Commits on Apr 11, 2023

• --amend

  hwayne

  committedApr 11, 2023
  5cbed5e

• Add explanation that \X is not associative

  hwayne

  committedApr 11, 2023
  ea7efec

Commits on Mar 3, 2023

• Merge branch 'master' of https://github.com/hwayne/learntla-v2

  hwayne

  committedMar 3, 2023
  eb196bf

• Add CHECK_DEADLOCK to cli

  hwayne

  committedMar 3, 2023
  30d08d8

Commits on Jan 16, 2023

• Fix a TLA+ typo

  hwayne

  committedJan 16, 2023
  1cfd5b7

Commits on Jan 13, 2023

• Add to whatsnew

  hwayne

  committedJan 13, 2023
  cd509c6

• Add message queues

  hwayne

  committedJan 13, 2023
  48aa297

Commits on Nov 11, 2022

• Merge branch 'master' of https://github.com/hwayne/learntla-v2

  hwayne

  committedNov 11, 2022
  d784a6d

• Update whatsnew

  hwayne

  committedNov 11, 2022
  057bed6

• Fix issue hwayne#23

  hwayne

  committedNov 11, 2022
  8c188b7

• Fix issue hwayne#5

  hwayne

  committedNov 11, 2022
  7ce3ac8

• Some of the requests in hwayne#37

  hwayne

  committedNov 11, 2022
  910d6e3

• Add partitions example

  hwayne

  committedNov 11, 2022
  9f34dc0

Commits on Sep 5, 2022

• Remove the one use of a comma switch in raw specs

  hwayne

  committedSep 5, 2022
  709ac30

Commits on Jul 25, 2022

• Fix hwayne#30, hwayne#31

  hwayne

  committedJul 25, 2022
  fc6cb16

• One exercise added!

  hwayne

  committedJul 25, 2022
  15c1cf9

• Single exercise implemented DO NOT PUSH

  hwayne

  committedJul 25, 2022
  61c6d57

Commits on Jul 15, 2022

• Explain what TLA stands for

  hwayne

  committedJul 15, 2022
  87851a1

• Fix hwayne#21 (footnotes aren't superscripts)

  hwayne

  committedJul 15, 2022
  c93dfde

• Fix hwayne#29 and hwayne#26

  hwayne

  committedJul 15, 2022
  6bccb27

• Fix issue hwayne#25 (confusing scratch file)

  hwayne

  committedJul 15, 2022
  af14437

Commits on Jul 9, 2022

• Merge branch 'master' of https://github.com/hwayne/learntla-v2

  hwayne

  committedJul 9, 2022
  98b3577

• Fix frank's github issues

  hwayne

  committedJul 9, 2022
  224e6f9

• Fix the not-found page

  hwayne

  committedJul 9, 2022
  e76f497

• Add a standard library page

  hwayne

  committedJul 9, 2022
  8181e15

Commits on Jul 6, 2022

• Add 404 page, remove the selenium experiment

  hwayne

  committedJul 6, 2022
  d0f8530

• Merge branch 'master' of https://github.com/hwayne/learntla-v2

  hwayne

  committedJul 6, 2022
  1915383

• Fix typo in functions

  hwayne

  committedJul 6, 2022
  6c22541

Commits on Jul 2, 2022

• Fix two bugs reported on twitter

  hwayne

  committedJul 2, 2022
  7a2b094

• Update setup.rst

  hwayne

  committedJul 2, 2022
  90d7a3c

Commits on Jul 1, 2022

• Make build.yml deploy the website

  hwayne

  committedJul 1, 2022
  205e3ce

Pagination

PreviousNext