The useless-stack-ensures functionality has been moved to cfa2-results-analysis
pretty print the java-pda.rkt
Standardize naming of files containing pda\'s
Standardize exports of pda files
Pretty-print the pda\'s so that Emacs doesn't choke on them
remove obsoleted run-cfa2
Add apparatus to test all the grammars
Change format; add name
New racket test file and backwards compatible git opt
Fix bug in test-all-grammars.rkt