commit - work in progress
fixed line endings and added a .gitattributes file
add the file .gitattributes
changes to gitignore
create new theory files
Merge branch 'feature' of https://github.com/yushan87/RESOLVEWebIDE into feature
Merge pull request #19 from yushan87/feature

Feature