gitignore
Minor layout fixes to document.
Deleted xpr
document output folder ignored
Layout fixes and a couple of minor edits.
Removed test XPL
Deleted test XPLs. It helps to use a git rm rather than just rm.
Deleted scripts for fs version of prox.