search

johanwk / elot

Emacs Literate Ontology Tool
GNU General Public License v3.0
8 stars 2 forks source link

Show metrics from Robot #23

Closed johanwk closed 7 months ago

johanwk commented 7 months ago

Add a tempo template to insert a call to Robot with the measure command, which helpfully counts classes, axioms, etc.

After tangling, automatically update in the buffer.

johanwk commented 7 months ago

Added, with tempo template <om