Moved KOA evoting software into the public subversion repository
Copied keys from SRG repository
Made copy of trunk
Moved working version of KOA into the subversion trunk and remove CVS files
Moved working version of KOA into the subversion trunk
Updated KOA classpath
Fix build process
Building a release is no longer the default
Building a release is no longer the default
Include votail in the default build
Tightened frame axioms for a few methods, added TODOs for missing specs on two equals methods, and cleaned up use of "== true".  All of these changes were inspired by the (as of yet unpublished) paper by Dennis, Yessenov, and Jackson at MIT.
Fix to spec of KiesKring.make as discussed in (as of yet unpublished) paper by Dennis, Yessenov, and Jackson at MIT.
removing httpd configuration files which are causing confusion
removing httpd configuration files which are causing confusion
Remove Eclipse specific files not needed here
#9: reconfigure library dependencies for trunk head of koa project
Reconfigure builders for KOA project
Test SVN access
Updated top-level ant builder.
#13: Updated top-level ant builder.