This directory contains the Windows version of the Clean System 2.1.0.

The binary distribution is available in two flavours

    1) one large archive CleanAll2.1.0.zip that contains all
       of the components below.

       Installation:
			- unzip CleanAll2.1.0.zip

    2) separate components
        - CleanBase2.1.0.zip (5.5M) -- required --
		  Clean IDE (integrated development environment) and users'
          manual, standard environment, small libraries, small examples,
          Clean 2 reference manual

        - ObjectIO1.2.4.zip (2.7M)
          ObjectIO library, Game Library, TCP library, examples
          and documentation

        - Sparkle0.0.4.zip (2.2M)
		  Sparkle theorem prover for Clean

        - Dynamics0.3.zip (2.8M)
		  Experimental Dynamics support

       Installation:
			- unzip CleanBase2.1.0.zip
            - for each additional component you want to install:
              unzip the file in the root of your base installation
              (the directory with CleanIDE.exe)
              Your unzip program may warn you that it will overwrite
              Clean2.1.0LicenseConditions.txt, because there is a copy
              of the license in each individual archive.

After installing Clean on you can open the application CleanIDE.exe.
Answer "Yes" if the IDE prompts you to integrate the CleanIDE in
the windows environment. This will associate the various Clean
file extensions with the appropriate Clean applications.

You can now open any of the example project files (.prj) and use
Project > Update and Run to build and execute the example program.
Consult the Clean IDE's users' manual for more information on
using the Clean IDE.

More information about Clean can be found at

    http://www.cs.kun.nl/~clean/

If you find any bugs, have questions, comments or suggestions you can
reach us at:

        clean@cs.kun.nl