Stream: Beginner Questions

Topic: Document preparation: Repeat definition

view this post on Zulip Robert Soeldner (Jul 26 2022 at 15:54):

I'm using the document preparation system and would like to repeat (through a reference) the definition of a record from a different theory. Is there any support for this?

Last updated: Dec 07 2023 at 08:19 UTC