Christian Barthel 6d84767a52 handling of TLC config files ... * lisp/tla+-mode.el: update URLs, remove unnecessary comments, cleanup whitespace and wrap lines. (tlc-widget-example): if a TLC cfg already exists, copy it to .old.<seconds>. erase the buffer then and insert the new TLC config into the buffer. Add the current time to the tlc config. * org/Test.org: add an example org file. this shows the usage of org-babel-tangle in combination with TLA+ (it may be used to further comment on TLA+ specifications).		2020-08-03 05:11:09 +02:00
..
Test.org	handling of TLC config files	2020-08-03 05:11:09 +02:00