Updated web page to explain difference between svn checkout and export, and to point users to the download page for Jasmin and Polyglot.
Updated web page to explain difference between svn checkout and export, and to
point users to the download page for Jasmin and Polyglot.



anddann/soot,cfallin/soot,anddann/soot,anddann/soot,cfallin/soot,mbenz89/soot,mbenz89/soot,anddann/soot,xph906/SootNew,mbenz89/soot,xph906/SootNew,cfallin/soot,cfallin/soot,mbenz89/soot,xph906/SootNew,plast-lab/soot,plast-lab/soot,plast-lab/soot,xph906/SootNew