Open ComFreek opened 5 years ago
The deprecation notice for Archive#allContent already says: https://github.com/UniFormal/MMT/blob/b62c15121b232ff0eb2895c35c3b9b38be4476ff/src/mmt-api/src/main/info/kwarc/mmt/api/archives/Archive.scala#L144
Archive#allContent
However, as far as I know there is currently alternative for reading all relational Information. Possibly, the relational manager should handle this in the future.
See also #439 which mentions a bug of allContent. Ping @florian-rabe.
allContent
The deprecation notice for
Archive#allContent
already says: https://github.com/UniFormal/MMT/blob/b62c15121b232ff0eb2895c35c3b9b38be4476ff/src/mmt-api/src/main/info/kwarc/mmt/api/archives/Archive.scala#L144However, as far as I know there is currently alternative for reading all relational Information. Possibly, the relational manager should handle this in the future.
See also #439 which mentions a bug of
allContent
. Ping @florian-rabe.