http://it-dev.mpiwg-berlin.mpg.de/hg/extraction-interface/ en-us extraction-interface: branches extraction-interface branch history extractapp http://it-dev.mpiwg-berlin.mpg.de/hg/extraction-interface/rev/a36bb5a48af4 Thu, 28 Sep 2017 22:26:48 +0200 extractapp_dev http://it-dev.mpiwg-berlin.mpg.de/hg/extraction-interface/rev/fb5049fc5dd7 Tue, 02 Jun 2015 16:52:05 +0200 default http://it-dev.mpiwg-berlin.mpg.de/hg/extraction-interface/rev/3163d8ca0b62 Fri, 13 Mar 2015 09:55:07 +0100