@ 260915.5

211220.3 · cc8668306692ed28dae7007ed24bd4f4df6addae

released 3.4.0 new options --files and --lines for --bool searching

reading declarations

Changes to tests/out/Hello_aHellogreeting--files--bool-y.out. All files

tests/out/Hello_aHellogreeting--files--bool-y.out

new file mode 100644@@ -0,0 +1,7 @@+Hello.java-import java.lang.*;+Hello.java-+Hello.java:public class Hello // prints a Hello World! greeting+Hello.java-{ public static void main(String[] arg)+Hello.java-  { System.out.println("Hello World!");+Hello.java-  }+Hello.java-}