From 117682fa7e28a25fcbc8ff2c5ac5160eaa1fb73f Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Mon, 15 Sep 2014 11:49:31 +0200
Subject: [PATCH] add project name to po export files
---
.../de/prob/eventb/disprover/ui/export/ExportPOsHandler.java | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java b/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java
index 65424a65..01176ac5 100644
--- a/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java
+++ b/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java
@@ -155,6 +155,11 @@ public class ExportPOsHandler extends AbstractHandler implements IHandler {
pto.closeTerm();
pto.fullstop();
+ pto.openTerm("project_name");
+ pto.printAtom(poRoot.getRodinProject().getElementName());
+ pto.closeTerm();
+ pto.fullstop();
+
pto.openTerm("machine_name");
pto.printAtom(poRoot.getElementName());
pto.closeTerm();
--
GitLab