Main repository URI (for plain browsing and SVN):  http://alpha.tntbase.mathweb.org/repos/cds/

Plugin

• The TNT-Plugin-API can be found here  https://svn.mathweb.org/repos/tntbase/trunk/DbXmlAccessLib/src/info/kwarc/tntbase/pluginapi and  http://alpha.tntbase.mathweb.org/repos/cds/admin/lib/tntbase-plugin-api.jar
• Plugin source: jomdoc.tntplugin package in  https://svn.kwarc.info/repos/kwarc/rabe/Scala
• Plugin binary:  http://alpha.tntbase.mathweb.org/repos/cds/admin/lib/plugin/mmt.jar
• The jar contains the file META-INF/services/info.kwarc.tntbase.pluginapi.TntIntegrationPlugin?. It lists the classes that implement the TNT-Plugin-API, currently jomdoc.tntplugin.TNTValidator for validation and jomdoc.tntplugin.TNTPresenter for presentation.
• The mmt.jar file is automatically copied to /var/www/webapps/tntbase#cds/plugins/mmt.jar by the post-commit hook.
• Form this location, it is loaded into TNTBase using the web interface at  http://alpha.tntbase.mathweb.org:8080/manager/html
• If this fails, restart tomcat as www-data using the scripts in /usr/local/tomcat/bin/.

Validation

• Configuration file:  http://alpha.tntbase.mathweb.org:8080/tntbase/cds/admin/validation/methods.xml
• Pre-commit hook for rnc validation: /var/www/tntbase/repos/cds/hooks/pre-commit on cinnamon
• Post-commit hook for MMT validation: /var/www/tntbase/repos/cds/hooks/post-commit on cinnamon
• Ad-hoc validation  http://alpha.tntbase.mathweb.org:8080/tntbase/cds/restful/integration/validation/mmt/validate?name=PATH, e.g.,  http://alpha.tntbase.mathweb.org:8080/tntbase/cds/restful/integration/validation/mmt/validate?name=/logics/first-order/syntax/fol.omdoc
• Append &show=true to see the cached output rather than a boolean result:  http://alpha.tntbase.mathweb.org:8080/tntbase/cds/restful/integration/validation/mmt/validate?name=/logics/first-order/syntax/fol.omdoc&show=true

Presentation

• Configuration file:  http://alpha.tntbase.mathweb.org/repos/cds/admin/presentation/browsers.xml
• Browser URI:  http://alpha.tntbase.mathweb.org:8080/tntbase/cds/restful/integration/presentation/default/view/PATH, e.g.,  http://alpha.tntbase.mathweb.org:8080/tntbase/cds/restful/integration/presentation/default/view/logics/first-order/syntax/fol.omdoc

Querying

• MMT-specific XQuery module for TNT:  http://alpha.tntbase.mathweb.org/repos/cds/admin/mmt.xq
• Query handling URI:  http://alpha.tntbase.mathweb.org:8080/tntbase/cds/restful/query (via POST with query in body or via GET with query as parameter)
• Example query:

  import module namespace mmt = 'http://omdoc.org/ns'
   at 'tntbase:/admin/mmt.xq';
  mmt:getNotations('http://cds.omdoc.org/logics/first-order/syntax/fol.omdoc')