custom files can now be imported on the web interface
Merge pull request #60 from yushan87/bug-fix

custom files can now be imported on the web interface
Merge pull request #61 from bdurkee/master

Fixes for facilities
Merge pull request #62 from bdurkee/master

fixed bugs in math type checking
commented out syntatic sugar for Integer_Template
Merge pull request #63 from yushan87/small-fix

commented out syntatic sugar for Integer_Template
working on externally changes in grammar
added actual boolean to FacilityDec
sd
Merge pull request #65 from Welchd1/externally-keyword

Externally keyword
Made new prover output to console dependent on absence of the -nodebug flag
format issue
Merge pull request #67 from mikekab/master

format issue
shadowing issue fixed
Merge pull request #68 from mikekab/ccIntegration

shadowing issue fixed
added some information to PTType's to help us find proper qualifiers for calls.
Merge pull request #69 from Welchd1/pttype-info-addition

Additional info for PTTypes
fixes the problem where the prover crashes when there are no givens for a particular VC
Merge pull request #72 from yushan87/prover_fixes

Prover Fixes
made the prover respect the web interface flag and not output a proof file when we are on the web interface
Merge pull request #73 from yushan87/prover_fixes

Prover does not respect the web interface flag