xtend-gen
src-gen
xtext-gen
*/target
**/generated
bin
*/.settings
*/.classpath

.gradle
*/build/
# virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml
hs_err_pid*

org.neu.acl2.handproof.tests/test-bin

org.neu.acl2.handproof/.antlr-generator-3.2.0-patch.jar
