GrammarTest is now working, delete newlines at end of some files
update documentation files, create tutorial page with installation instructions
update tutorial
Created the testing grammar files
Created the testing grammar files
Merge branch 'master' of https://github.com/jthurst3/LOTlib
update tutorial a little
Merge branch 'master' of https://github.com/piantado/LOTlib
restore Proposals.py
fix LOTHypothesis import to work with re-adding the Proposals.py file
add running instructions for demo
Merge branch 'master' of https://github.com/piantado/LOTlib
re-delete Proposals.py, they are now separated iinto different files under the Proposals/ directory
Updated testing grammars
Fixed some names
Merge branch 'master' of https://github.com/jthurst0/LOTlib
Added a name to the START rule
Merge pull request #8 from jthurst3/master

Proposals/Testing grammars/Tutorial pull request