update README and setup.py

README.md

@@ -6,27 +6,38 @@ for developing and experimenting with automated proof techniques. In
 particular, IVy provides interactive visualization of automated
 proofs, and supports a use model in which the human protocol designer
 and the automated tool interact to expose errors and prove
-correctness.
+correctness. IVy is implemented in and requires Python 2.
+
+# Installation
+
+## Linux
+
+On Debian-based linux distributions such as Ubuntu, download and
+install the file `ms-ivy_X.X_YYYY.deb` where `X.X` is the IVy version
+and `YYYY` is the machine architecture. Use your system’s package
+manager to install this package, or the following commands:
 
-#Installation
-Linux
-On Debian-based linux ditributions such as Ubuntu, download and install the file ms-ivy_X.X_YYYY.deb where X.X is the IVy version and YYYY is the machine architecture. Use your system’s package manager to install this package, or the following commands:
 ```
 $ sudo dpkg -i ms-ivy_X.X_YYYY.deb
 $ sudo apt-get install -f
 ```
-The first command will report missing dependencies, which will be installed by the second command.
 
-Windows
-The Windows binary distribution is in the form of a zip archive. Download the file ivy.X.Y-.Windows-z86.zip, where X.X is the IVy version (this will work on both 32-bit and 64 bit Intel Windows). Use Windows Explorer to extract this archive in the directory C:\. This should give you a directory C:\ivy. To use IVy in a command window, first execute this command:
+The first command will report missing dependencies, which will be
+installed by the second command.
+
+## Windows
+
+The Windows binary distribution is in the form of a zip
+archive. Download the file `ivy.X.Y-.Windows-z86.zip`, where `X.X` is
+the IVy version (this will work on both 32-bit and 64 bit Intel
+Windows). Use Windows Explorer to extract this archive in the
+directory `C:\`. This should give you a directory `C:\ivy`. To use IVy
+in a command window, first execute this command:
+
 ```
 > C:\ivy\scripts\activate
 ```
 
 ## Further Reading
 
 For further information on IVy, see [the IVy web site](http://microsoft.github.io/ivy/).
-
-
-
-

setup.py

@@ -16,5 +16,12 @@
       entry_points = {
         'console_scripts': ['ivy=ivy.ivy:main','ivy_check=ivy.ivy_check:main','ivy_to_cpp=ivy.ivy_to_cpp:main','ivy_show=ivy.ivy_show:main','ivy_ev_viewer=ivy.ivy_ev_viewer:main','ivy_to_md=ivy.ivy_to_md:main',],
         },
-      zip_safe=False)
+      zip_safe=False,
+      classifiers=[
+          "Programming Language :: Python :: 2",
+          "License :: OSI Approved :: MIT License",
+          "Operating System :: OS Independent",
+          "Intended Audience :: Science/Research",
+      ],
+)