Closed pnrobinson closed 7 years ago
Agreed, is parsed but not made available in Term
.
@pnrobinson Can you try whether this works for you? You can get the current develop
branch and do mvn install
. When then depending on the 0.3-SNAPSHOT
version, you have the installed development version available in your project.
@pnrobinson I just release v0.3 with this feature. It should be on maven central soon.
Is there is method to retrieve cross refs? I could not find anything like this in the Term class