In the theory graph viewer there seems to be a problem with the URIs assigned to nodes and linking to the theories corresponding to nodes via the "Open Theories" button.
I have found two kinds of URIs assigned to nodes:
Type A: /URI (e.g. /http://cds.omdoc.org/urtheories?TermsTypesKinds).
Type B: //?URI (e.g. //?http://cds.omdoc.org/urtheories?LF)
When using the "Open Theory" button from the context menu on Type A nodes a new tab will be opened but the result is a server error as the resulting URI is incorrect (e.g. http://localhost:8080/http://cds.omdoc.org/urtheories?TermsTypesKinds when the correct URI should be http://localhost:8080/?http://cds.omdoc.org/urtheories?TermsTypesKinds)
When using the "Open Theory" button on Type B nodes nothing happens at all.
In the theory graph viewer there seems to be a problem with the URIs assigned to nodes and linking to the theories corresponding to nodes via the "Open Theories" button.
I have found two kinds of URIs assigned to nodes:
Type A: /URI (e.g. /http://cds.omdoc.org/urtheories?TermsTypesKinds).
Type B: //?URI (e.g. //?http://cds.omdoc.org/urtheories?LF)
When using the "Open Theory" button from the context menu on Type A nodes a new tab will be opened but the result is a server error as the resulting URI is incorrect (e.g. http://localhost:8080/http://cds.omdoc.org/urtheories?TermsTypesKinds when the correct URI should be http://localhost:8080/?http://cds.omdoc.org/urtheories?TermsTypesKinds)
When using the "Open Theory" button on Type B nodes nothing happens at all.