search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 23 forks source link

Deployed scaladoc doesn't show subclasses any more (not even for Term) #527

Open ComFreek opened 4 years ago

ComFreek commented 4 years ago

For instance, consider https://uniformal.github.io/apidoc/info/kwarc/mmt/api/objects/Term.html:

image

I can reproduce this in MS Edge, Chrome, and Firefox.

@tkw1536 Do you know what's going on?

tkw1536 commented 4 years ago

This might be an upstream issue. Will need to investigate.

ComFreek commented 4 years ago

@tkw1536 did you get around investigating this by any chance?