Fixed bug with HELP command
Fixed bug with HELP command
Merge branch 'grigory' of github.com:DreamTeamADB/Code into grigory
Changes on parser.ml
Merge branch 'master' of github.com:DreamTeamADB/Code