search

informalsystems / themis-tracer

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

Add linkify command #73

Closed shonfeder closed 3 years ago

shonfeder commented 3 years ago

Closes #61

Adds a command to linkify and anchor naked logical unit def tags and unlinked logical unit references.