Commit Graph

  • bf13ea44db Add a few tla symbols and load them to prettify them on command master Christian Barthel 2021-04-13 19:44:49 +0200
  • 09941c5311 Add TLA+ Repl Shell elisp wrapper Christian Barthel 2021-02-19 21:35:15 +0100
  • 71b6abbf9d Fix whitespace, add execution cmd message Christian Barthel 2021-02-19 21:18:08 +0100
  • 78a196b94d example image bch 2020-08-27 18:50:59 +0000
  • 2d679612c1 README bch 2020-08-27 18:49:21 +0000
  • 9dc03f8cbc example pic Christian Barthel 2020-08-27 20:42:27 +0200
  • 8e2341f849 remove default paths, add error checks when toolbox missing v0.0.1 Christian Barthel 2020-08-27 17:16:13 +0200
  • 6d84767a52 handling of TLC config files Christian Barthel 2020-08-03 05:11:09 +0200
  • 6ba78769a5 tlc window handling improvement, dot(1) usage Christian Barthel 2020-08-02 22:23:52 +0200
  • b84b64612a select and use tlc parameters Christian Barthel 2020-07-19 10:05:13 +0200
  • deba3792c9 update log info option, syntax highlighting Christian Barthel 2020-07-18 21:54:02 +0200
  • a8ebeb008c moving source code file into subdirectory Christian Barthel 2020-02-20 10:47:16 +0100
  • 5f04536a35 tlc settings, tlc error buttons Christian Barthel 2020-02-18 22:12:12 +0100
  • 1522267517 work on TLC config dialogue Christian Barthel 2020-02-15 20:02:07 +0100
  • a29978acaf references, go back to "original window" Christian Barthel 2020-01-06 22:13:51 +0100
  • 30d6a1b7ee add model checker run function Christian Barthel 2020-01-05 14:11:19 +0100
  • 1a13c39218 add PlusCal transation Christian Barthel 2020-01-05 10:46:54 +0100
  • 279db98723 features and installation instructions Christian Barthel 2020-01-05 09:47:32 +0100
  • 4b57968fa3 new keyword LET/IN Christian Barthel 2020-01-04 09:55:55 +0100
  • 9d6c2da190 additional keyword, regex fix Christian Barthel 2019-12-28 21:25:12 +0100
  • c58bbb6671 comments, modul operators, mark error messages Christian Barthel 2019-12-26 08:16:03 +0100
  • 87707476af add operator insertion menu, ps/pdf conversion, etc. Christian Barthel 2019-12-23 16:50:36 +0100
  • 84d7eafeea more keywords, the tla+-open-dvi function Christian Barthel 2019-12-22 22:36:00 +0100
  • 2e6a2c6a09 first defintions for a new TLA+ mode Christian Barthel 2019-12-19 23:39:50 +0100