Ignoring new extensions’ generated files.
Added most of the definitions for sections and modules. Still need to structure them and test the code, however.
Starting a project for testing coq files.
Basic build file for ant. Still need to develop it.