% generated with ./prepare-plugin-versions.sh
\newcommand{\PluginConsole}{de.renew.console-2.0.0.jar}
\newcommand{\PluginCH}{CH.ifa.draw-2.1.0.jar}
\newcommand{\PluginExport}{de.renew.export-2.1.0.jar}
\newcommand{\PluginFS}{de.renew.fs-2.1.0.jar}
\newcommand{\PluginFormalism}{de.renew.formalism-2.1.0.jar}
\newcommand{\PluginFormalismGui}{de.renew.formalism.gui-2.0.0.jar}
\newcommand{\PluginGui}{de.renew.gui-2.1.0.jar}
\newcommand{\PluginGuiPrompt}{de.renew.guiprompt-2.0.0.jar}
\newcommand{\PluginLogging}{de.renew.logging.gui-2.1.0.jar}
\newcommand{\PluginMisc}{de.renew.misc-2.0.0.jar}
\newcommand{\PluginNavigator}{de.renew.navigator-2.1.0.jar}
\newcommand{\PluginNetcomponents}{de.renew.netcomponents-2.0.0.jar}
\newcommand{\PluginPTChannel}{de.renew.ptchannel-0.1.jar}
\newcommand{\PluginRefactoring}{de.renew.refactoring-2.1.0.jar}
\newcommand{\PluginRemote}{de.renew.remote-2.0.0.jar}
\newcommand{\PluginRenewAnt}{de.renew.ant-2.0.0.jar}
\newcommand{\PluginSimulator}{de.renew.simulator-2.0.0.jar}
\newcommand{\PluginSplashscreen}{de.renew.splashscreen-2.0.0.jar}
\newcommand{\PluginUtil}{de.renew.util-2.0.0.jar}
\newcommand{\PluginWindowManagement}{de.renew.windowmanagement-2.1.0.jar}
