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: Mar 29 2024 at 12:28 UTC