[build] Log links

* Spec link * Alloy 6 link
AlloyTools · Nov 2, 2021 · c92ca17 · c92ca17
1 parent d12bc60
commit c92ca17
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 25 deletions.
diff --git a/org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4whole/SimpleGUI.java b/org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4whole/SimpleGUI.java
@@ -2239,8 +2239,10 @@ private void finishInit(String[] args, int width) {
         all.add(status, BorderLayout.SOUTH);
 
         // Generate some informative log messages
-        log.logBold("Alloy Analyzer\n");
-        log.logLink("[spec]", "https://alloytools.org/alloy6.html");
+        log.logBold("Alloy Analyzer ");
+        log.logLink("[what is new]", "https://alloytools.org/alloy6.html");
+        log.log(" ");
+        log.logLink("[spec]", "https://alloytools.org/spec.html");
         log.log(" " + Version.getShortversion() + " built " + Version.buildDate() + "\n\n");
 
         // If on Mac, then register an application listener

diff --git a/org.alloytools.alloy.cli/.project b/org.alloytools.alloy.cli/.project