1:BUILD_BY[name] student1
1:BUILD_ENVIRONMENT[operating system 32 vs 64] Windows7 64
1:DEPENDENCIES[list of dependencies with where to get them]

Visual Studio
IDA Pro
OCaml (For the verifier only)
Python

1:END_DEPENDENCIES
1:NOTES[notes on attempted build]

error with step3 in the installation. Python does not recognize the create_project call. 

1:END_NOTES
VERIFY:ANALYSIS_BY[name]
VERIFY:STATUS[unknown,needed,not_needed,started,finished] unknown
VERIFY:COMMENT[string]