Navigation of attributes inside "Meta-args" does not work #10
Loading…
Reference in New Issue
No description provided.
Delete Branch "%!s(<nil>)"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Example:
doc_class class_inv1 =
int1 :: "int"
invariant inv1 :: "int1 σ ≥ 3"
text*[testinv1::class_inv1, int1=4]‹lorem ipsum...›
int1 in the text* command in not clickable.
Also, update the manual accordingly:
the fig:Dogfood-IV-jumpInDocCLass side_by_side_figure images must be updated.