Skip to content

special treament of the FTML metatheory #109

@kohlhase

Description

@kohlhase

The FTML metatheory does not need an \importmodule or \usemodule it is always inscope in sTeX (it does not hurt either I think but I tend to exclude it as redundant).

Image

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type
No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions