Commit Graph

1 Commits (master)

Author SHA1 Message Date
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/ 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