2bf560b Rebuild examples from tangle

~jwalsh pushed to ~jwalsh/moria-combat-calculator git

73a0834 Model entity states and validate the spec

~jwalsh pushed to ~jwalsh/moria-combat-calculator git

1607272 Standardize Python and Make

~jwalsh pushed to ~jwalsh/moria-combat-calculator git

3570c0d Ensure that a minimal load is provided when exporting diagrams

~jwalsh pushed to ~jwalsh/moria-combat-calculator git

f303a18 Allow all the specs to be checked (using cleanup)

~jwalsh pushed to ~jwalsh/moria-combat-calculator git

af72c64 Use state machines by default

~jwalsh pushed to ~jwalsh/moria-combat-calculator git

92357d8 Correct the diagram for tangle

~jwalsh pushed to ~jwalsh/moria-combat-calculator git

ac8ae4f Import the example from tlaplus examples

~jwalsh pushed to ~jwalsh/moria-combat-calculator git

9e07b5f Ensure Java is available and ignore TLA+ state checking

~jwalsh pushed to ~jwalsh/moria-combat-calculator git

13b1403 Update to current TLA+

~jwalsh pushed to ~jwalsh/moria-combat-calculator git

578edb9 Tangle files

~jwalsh pushed to ~jwalsh/moria-combat-calculator git

5e7539e Show possible header images

~jwalsh pushed to ~jwalsh/moria-combat-calculator git

ba36c75 convert static/7903a844-9f03-40ef-9726-f39f38f0a134.webp static/combat-calculator-boston.png

~jwalsh pushed to ~jwalsh/moria-combat-calculator git

d09c629 Add examples for the diagramming RFC

~jwalsh pushed to ~jwalsh/moria-combat-calculator git

7220f1e Review formatting of filenames and functions

~jwalsh pushed to ~jwalsh/moria-combat-calculator git