updated prop1 according to spec changes, .gitignore