informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems
Apache License 2.0
4 stars 0 forks source link

Implement editor integration #18

Open shonfeder opened 4 years ago

shonfeder commented 4 years ago

Initial support for emacs (used by internal customer), with at least: