Wednesday, April 29, 2015

Feature of the Week: TeXlipse Extension Update

We are happy to announce the release of our TeXlipse Extension version For more information about the extension, please have a look at this Feature of the week or at the help page of the extension.

To update your extension please add the new update site and use the Eclipse update mechanism to install the latest version of the extension. Please note: the update site of TeXlipse ( contains an older version of the plugin. Newer versions of the plugin will only be distributed over the new update site (

What's new in
The new release allows you to configure the API endpoint. Starting with this release, all PUMA users can use the extension with the PUMA installation of their institution. The API url can be obtained by adding /api to the web address of your PUMA system (e.g. the API endpoint of is Furthermore, we have fixed some bugs.

Happy texing and tagging

Popular Posts