Skip to content

History

Revisions

  • Updated Home (markdown)

    @FedericoPonzi FedericoPonzi committed Oct 19, 2024
    fdcaa46

  • Updated Keyboard Shortcuts (markdown)

    @FedericoPonzi FedericoPonzi committed Oct 19, 2024
    69502b3

  • Updated Boxed Comments (markdown)

    @FedericoPonzi FedericoPonzi committed Oct 19, 2024
    c9712f6

  • Updated Visualizing States (markdown)

    @FedericoPonzi FedericoPonzi committed Oct 19, 2024
    889e2ff

  • Updated Java Options (markdown)

    @FedericoPonzi FedericoPonzi committed Oct 19, 2024
    4527378

  • Updated Fonts (markdown)

    @FedericoPonzi FedericoPonzi committed Oct 19, 2024
    9979910

  • Updated Fonts (markdown)

    @FedericoPonzi FedericoPonzi committed Oct 19, 2024
    b75fa4b

  • Updated Fonts (markdown)

    @FedericoPonzi FedericoPonzi committed Oct 19, 2024
    d9d263a

  • Updated Getting Started (markdown)

    @FedericoPonzi FedericoPonzi committed Oct 19, 2024
    5053fc5

  • Updated Getting Started (markdown)

    @FedericoPonzi FedericoPonzi committed Oct 19, 2024
    f5179e4

  • Updated Installing Java (markdown)

    @FedericoPonzi FedericoPonzi committed Oct 19, 2024
    a17f9f1

  • Updated Automatic Module Parsing (markdown)

    @FedericoPonzi FedericoPonzi committed Oct 19, 2024
    2ad6d00

  • Updated Formatting Preferences (markdown)

    @FedericoPonzi FedericoPonzi committed Oct 19, 2024
    a106042

  • Updated Troubleshooting (markdown)

    @FedericoPonzi FedericoPonzi committed Oct 19, 2024
    42c93b2

  • Updated Commands (markdown)

    @FedericoPonzi FedericoPonzi committed Oct 19, 2024
    e26aad6

  • Updated Commands (markdown)

    @FedericoPonzi FedericoPonzi committed Oct 19, 2024
    021f6b9

  • Created Community Modules (markdown)

    @FedericoPonzi FedericoPonzi committed Sep 27, 2024
    74a9544

  • Link to https://github.com/tlaplus/tlaplus/blob/master/general/docs/current-tools.md#command-line-options

    @lemmy lemmy committed Jul 19, 2023
    da77100

  • Fix broken link

    @lemmy lemmy committed Jul 19, 2023
    8c679e7

  • Add Integers to EXTENDS line of first snippet

    @lemmy lemmy committed Jan 25, 2022
    1398a10

  • Add info about Comment Box

    @alygin alygin committed Mar 21, 2021
    8095606

  • Fix typos

    @alygin alygin committed Mar 18, 2021
    33e9b8d

  • Typo

    @alygin alygin committed Feb 13, 2021
    11cc373

  • Wording

    @alygin alygin committed Feb 13, 2021
    90759ee

  • Move picture

    @alygin alygin committed Feb 13, 2021
    353a1e4

  • Wording fixes

    @alygin alygin committed Feb 13, 2021
    4d06aab

  • Fix typo

    @alygin alygin committed Feb 13, 2021
    a609898

  • Section about setting up environment

    @alygin alygin committed Feb 13, 2021
    7220e84

  • Add images

    @alygin alygin committed Feb 13, 2021
    23c1eb6

  • Page about fonts

    @alygin alygin committed Feb 13, 2021
    9f6219a