Add more packages

Author: Simonliuwaterloo

org.alloytools.alloy.application/src/main/java/ca/uwaterloo/watform/dash4whole/RapidDash.java

@@ -59,7 +59,7 @@ public static void main(String args[]) throws Exception {
         A4Reporter rep = new A4Reporter();
 
         boolean parse = true;
-        boolean toFile = false;
+        boolean toFile = true;
 
         if (parse) {
 

org.alloytools.alloy.dash/src/main/java/ca/uwaterloo/watform/parser/DashLexer.java

@@ -1,7 +1,7 @@
 
 //----------------------------------------------------
 // The following code was generated by CUP v0.11a czt01 beta
-// Mon Feb 06 11:36:26 EST 2023
+// Sun Mar 26 19:23:30 EDT 2023
 //----------------------------------------------------
 
 package ca.uwaterloo.watform.parser;
@@ -67,7 +67,7 @@
 import ca.uwaterloo.watform.parser.DashValidation;
 
 /** CUP v0.11a czt01 beta generated parser.
-  * @version Mon Feb 06 11:36:26 EST 2023
+  * @version Sun Mar 26 19:23:30 EDT 2023
   */
 public class DashParser extends java_cup.runtime.lr_parser {
 

org.alloytools.alloy.dash/src/main/java/ca/uwaterloo/watform/parser/DashParser.java

@@ -1,7 +1,7 @@
 
 //----------------------------------------------------
 // The following code was generated by CUP v0.11a czt01 beta
-// Mon Feb 06 11:36:26 EST 2023
+// Sun Mar 26 19:23:30 EDT 2023
 //----------------------------------------------------
 
 package ca.uwaterloo.watform.parser;

org.alloytools.alloy.dash/src/main/java/ca/uwaterloo/watform/parser/DashSym.java

@@ -26,4 +26,6 @@ Main-Class: ca.uwaterloo.watform.dash4whole.RapidDash
 	@/Users/jianyanli/Projects/org.alloytools.alloy/cnf/jars/velocity-engine-core-2.3.jar, \
 	@/Users/jianyanli/Projects/org.alloytools.alloy/cnf/jars/gson-2.8.2.jar, \
 	@/Users/jianyanli/Projects/org.alloytools.alloy/cnf/jars/commons-lang3-3.12.0.jar, \
+	@/Users/jianyanli/Projects/org.alloytools.alloy/cnf/jars/slf4j-api-1.7.32.jar, \
+	@/Users/jianyanli/Projects/org.alloytools.alloy/cnf/jars/slf4j-simple-1.7.32.jar, \
 	LICENSES