diff --git a/electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/SimpleGUI.java b/electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/SimpleGUI.java
index b4e3b223..f8c1071d 100755
--- a/electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/SimpleGUI.java
+++ b/electrum/src/main/java/edu/mit/csail/sdg/alloy4whole/SimpleGUI.java
@@ -315,7 +315,7 @@ private Runner notifyChange() {
         if (text==null) return null; // If this was called prior to the "text" being fully initialized
         OurSyntaxWidget t = text.get();
         if (Util.onMac()) frame.getRootPane().putClientProperty("windowModified", Boolean.valueOf(t.modified()));
-        if (t.isFile()) frame.setTitle(t.getFilename()); else frame.setTitle("Alloy Analyzer "+Version.version());
+        if (t.isFile()) frame.setTitle(t.getFilename()); else frame.setTitle("Alloy Analyzer "+Version.version() + " (Electrum Analyzer "+Version.eleVersion()+")"); // [HASLab]
         toolbar.setBorder(new OurBorder(false, false, text.count()<=1, false));
         int c = t.getCaret();
         int y = t.getLineOfOffset(c)+1;
@@ -1247,7 +1247,7 @@ private Runner doOptSyntaxHighlighting() {
     /** This method displays the about box. */
     private Runner doAbout() {
         if (wrap) return wrapMe();
-        OurDialog.showmsg("About Alloy Analyzer " + Version.version(),
+        OurDialog.showmsg("About Alloy Analyzer " + Version.version() + " (Electrum Analyzer "+Version.eleVersion()+")", // [HASLab]
               OurUtil.loadIcon("images/logo.gif"),
               "Alloy Analyzer " + Version.version(),
               "Build date: " + Version.buildDate(),
@@ -1757,6 +1757,7 @@ private void finishInit(String[] args, int width) {
 
         // Generate some informative log messages
         log.logBold("Alloy Analyzer "+Version.version()+" (build date: "+Version.buildDate()+")\n\n");
+        log.logBold("Electrum Analyzer "+Version.eleVersion()+" (build date: "+Version.buildDate()+")\n\n"); // [HASLab]
 
         // If on Mac, then register an application listener
         try {