Default to Integer instead of Int, and adjust fromInteger accordingly
Fix for proofs in test025 (until I've added support for Decidable.Order)
More Integer fixups
Fix typo: "foriegn" -> "foreign"
Added type providers to tutorial
Add tutorial LaTeX by-products to .gitignore
Added backend target specification to %lib, %link and %include directives
Fix tutorial text
Merge pull request #316 from bitlisp/default-bignums

Default to Integer instead of Int, and adjust fromInteger accordingly
Merge pull request #338 from david-christiansen/provider-tutorial

Provider tutorial
Merge pull request #339 from david-christiansen/gitignore

Add tutorial LaTeX by-products to .gitignore
Merge pull request #340 from JanBessai/BackendTargetSpecification

Added back end target specification to %lib, %link and %include directives
Fix ordering of auto-implicits with 'using'
'using' arguments always now appear before fully implicit arguments, rather
than the order we happen to find them in.
TODO: Better would be to sort according to which ones we know depend on
each other...
Fixed mvn for mingw32
need to update mvn during build as well
Merge pull request #343 from chetant/mvn_mingw32

Fixed Java backend building & installation on Windows/mingw32