Add/revise sample pymodel_paths*.bat for Windows

revise installation instructions in INSTALL.txt
revise v 1.0 release notes

Author: jon-jacky

INSTALL.txt

@@ -22,13 +22,18 @@ unpack it, with a single command:
 
  pip install --no-install --build . PyModel
 
+Be sure to use the " --no-install -build . " options.
+
 Then you can run PyModel using the commands and modules in the
 unpacked distribution directory.  Just put PyModel/bin on your
 execution PATH and PyModel/pymodel on your PYTHONPATH.  You can
-achieve this by executing the script PyModel/bin/pymodel_paths (or
-pymodel_paths.bat on Windows).  That script assumes the distribution
-directory is in your HOME directory and is named PyModel (not
-PyModel-1.0, so you many need to rename it).
+achieve this by executing the script PyModel/bin/pymodel_paths.  That
+script assumes the distribution directory is in your HOME directory
+and is named PyModel (not PyModel-1.0, so you many need to rename it).
+On Windows, pymodel_paths_mydocs.bat assumes the unpacked PyModel
+directory is under your My Documents directory (as is common in
+Windows XP), while pymodel_paths.bat assumes it is under your home
+directory (which might be more common in Windows 7).
 
 Confirm that PyModel works for you by running some of the test scripts
 in the samples directories.  For example, in
@@ -38,8 +43,9 @@ program as it executes the PowerSwitch model.
 
 The setup.py script included in the distribution now supports the
 install argument, so you can optionally install the PyModel python
-modules and commands in system directories (for example in
-/Library/Python/2.7/site-packages and /usr/local/bin, respectively).
+modules and commands in system directories (for example, on Mac OS X:
+/Library/Python/2.7/site-packages and /usr/local/bin, respectively;
+on Windows: C:\Python27\Lib\site-packages and C:\Python27\Scripts).
 In the PyModel directory, type the command: 
 
  sudo python setup.py install
@@ -51,9 +57,10 @@ Alternatively, if you have pip installed you can type the command:
 The pip utility maintains a registry of the packages it has installed,
 which makes it easy to review and uninstall packages.
 
-After installing you should not need to execute pymodel_path, but You
-still need to type the command: source tpath (in Windows, just tpath)
-in every session (terminal window).
+After installing you should not need to execute pymodel_paths, but you
+may still need to type the command: source tpath in every session
+(terminal window).  After installing on Windows you may still need to
+set paths, pymodel_paths_installed.bat might be a useful example.
 
 Most of the distribution contents is in the examples under
 PyModel/samples, and in the documentation under PyModel/notes, www,

bin/pymodel_paths.bat

@@ -1,6 +1,6 @@
-set PATH=%PATH%;%USERPROFILE%\My Documents\PyModel\bin
-set PATH=%PATH%;%USERPROFILE%\My Documents\PyModel\pymodel
-set PYTHONPATH=%PYTHONPATH%;%USERPROFILE%\My Documents\PyModel\pymodel
+set PATH=%PATH%;%USERPROFILE%\PyModel\bin
+set PATH=%PATH%;%USERPROFILE%\PyModel\pymodel
+set PYTHONPATH=%PYTHONPATH%;%USERPROFILE%\PyModel\pymodel
 set PYTHONPATH=.;%PYTHONPATH%
 set PATHEXT=%PATHEXT%;.PY
 

bin/pymodel_paths_installed.bat

@@ -0,0 +1,6 @@
+set PATH=%PATH%;%SYSTEMDRIVE%\Python27
+set PATH=%PATH%;%SYSTEMDRIVE%\Python27\Scripts
+set PYTHONPATH=%PYTHONPATH%;%SYSTEMDRIVE%\Python27\Lib\site-packages\pymodel
+set PYTHONPATH=.;%PYTHONPATH%
+set PATHEXT=%PATHEXT%;.PY
+

bin/pymodel_paths_mydocs.bat

@@ -0,0 +1,6 @@
+set PATH=%PATH%;%USERPROFILE%\My Documents\PyModel\bin
+set PATH=%PATH%;%USERPROFILE%\My Documents\PyModel\pymodel
+set PYTHONPATH=%PYTHONPATH%;%USERPROFILE%\My Documents\PyModel\pymodel
+set PYTHONPATH=.;%PYTHONPATH%
+set PATHEXT=%PATHEXT%;.PY
+

notes/release-1.0.txt

@@ -1,12 +1,20 @@
 
 PyModel v 1.0 release notes
 
-PyModel is a model-based testing framework for Python.  Earlier public
-releases were versions 0.80 in Jan 2010, 0.85 in Mar 2010, and 0.90 in
-July 2011.  Since July 2011 ongoing work has been available at GitHub:
-https://github.com/jon-jacky/PyModel/  PyModel can also be downloaded
-from PyPI http://pypi.python.org/pypi/PyModel or 
-http://staff.washington.edu/jon/pymodel/www/
+PyModel is a model-based testing framework for Python.  In model-based
+testing, you code a model that can generate as many test cases as
+needed; the model also checks the test outcomes.  In the samples
+included with PyModel, there are models and test scripts for network
+sockets, a communication protocol, embedded controllers, some data
+structures, a multithreaded application, and a web application.
+PyModel also includes an analyzer for validating models, visualizing
+their behavior, and checking their safety properties.
+
+Earlier public releases were versions 0.80 in Jan 2010, 0.85 in Mar
+2010, and 0.90 in July 2011.  Since July 2011 ongoing work has been
+available at GitHub: https://github.com/jon-jacky/PyModel/ PyModel can
+also be downloaded from PyPI http://pypi.python.org/pypi/PyModel or
+the author's web page at http://staff.washington.edu/jon/pymodel/www/
 
 This release is called version 1.0 because it includes all of the
 features considered in the original project plan.  (Development and