-
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