This repository has been archived by the owner on May 25, 2020. It is now read-only.

MMT Integration #23

Closed

jukowski opened this issue Nov 12, 2013 · 1 comment

Assignees

Milestone

New ASM + MMT + O...

Member

jukowski commented Nov 12, 2013

Create a sally_mmt project inside sally that connects to an MMT server and provides utility functions that allows one to:

get a list of theories and concepts inside them.
get a list of all concepts that any theory that:
2a) begin with a certain prefix
2b) contain a certain substring
get a list of all concepts that are available in the scope of a certain theory that
3a) begin with a certain prefix
3b) contain a certain substring

would be nice 2 and 3 could be somehow combined in a nice way.

ghost assigned atoader

Member Author

jukowski commented Jan 14, 2014

Solved by http://gl.kwarc.info/jucovschi/sider-defindexer.

jukowski closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.