installing SPARK GPL on Windows

[Ada novice <posts@gmx.us>]

Hi, I've been trying to install SPARK GPL on a Windows machine. I
already have GNAT GPL (and GPS). I found a brief introduction to SPARK
here:

http://www.adacore.com/2009/06/29/gem-68/

For the installation, I added  C:\SPARK\2010\bin to the Windows path
environment and overwrote the existing  spark.py in the GNAT folder by
this operation mentioned in the SAPRK manual:

Copy the file spark.py from <spark_install_dir>/share/gps/plug-ins to
<gnatpro_install_dir>/share/gps/plug-ins.

If I understand correctly, this is all I need to do for the
installation. However in GPS I don't get a SPARK menu header. I
checked Tools > Plugins and Spark is checked though. What do I need to
do more for the installation to succeed? Does SPARK GPL work with GNAT
GPL?


On a related note, if I understand correctly then SPARK GPL only
features a subset of the Ada language. Does this implies that not
every program in Ada will work with SPARK?


Thanks

YC