Update gip.js

minor change to reflect the formatting of the state (no spaces between field name and := )
Update main.js

Fixed bug in function saveSourceCode: path of the pvs specification file is undefined. The issue was the function was using project.path instead of project.projectPath
Fixed auto-completion bug
Merge pull request #10 from edge7/upstream

Fixed auto-completion bug
Merge remote-tracking branch 'paolofork/master'
update to use web sockets function callback with err, res parameters in min.'s
Merge branch 'master' of github.com:thehogfather/pvsio-web
added basic support for setting a main file in  a pvsio-web project.
Main file is set in a file in the root of the project called ".pvsioweb". The file is a JSON key value pair containing {"mainPVSFile": "<filename>"}
If there is not .pvsioweb file, then the main pvsfile is assumed to be the last file when all the pvs files are sorted alphabetically.

TODO is support on the client for properly listing and editing all the files.
Update README.md

typos
removed readFile and writeFile methods from processWrapper and pvsprocess.js

added toolbar and listbox for managing multiple pvs files. tool bar buttons include typecheck, set as main file and restart pvsio process

added Project.js for managing the functionalities of PVSioweb projects. A project can be saved, created, or opened.

added ListView.js for managing file list interaction for multiple spec files

formBuilder.js now returns a file List and not just a single file so multiple files can be selected when creating a new project

main.js has been refactored to accommodate multiple spec files, file list rendering and new implementation of Project

added WSManager for accessing websocket connection from outside main.js

updated d3.js and underscore.js to amd version

updated pvssocketserver.js to deal with multiple spec files
bump version number
Merge branch 'master' of github.com:thehogfather/pvsio-web
updated server to allow space in project name -- also removed verbose logging info on server
added web socket and psvio process status information to client
refactored project.js and removed unwanted code. Persisting functions now have the project as the second argument for callback functions. First argument is an error property as standard in javascript dev.
updated read me file
bumped version number
read me update
read me update
Update README.md
Update pvsprocess.js

Minor change, to show the original PVSio messages in the terminal window
fix for issue #12
widget area is no longer duplicated when edited.
Added TCAS demo to public/demos