Setup changes

Setup file installs the followings on your machine:

• ESpec application and icons
• ESpec library (located at C:\espec\library). You can always access this library through the environmental variable: $espec/espec.ecf
• Default ECF file located in $ISE_EIFFEL\studio\help\defaults\windows will be replaced with a new one. $ISE_EIFFEL is the location that you installed EStudio on your machine. Note: a backup of your original default ecf file is stored.
• ESpec Precompiled library and associated environmental variable: $espec_precomp/espec_precomp.ecf
• AutoTest will be installed in C:\espec-research\auto_test *
• Erl-G library will be installed in C:\espec-research\auto_test\erl_g_x_y_z *
• PD tool (external theorem prover) to C:\program files\Escher Technologies\Perfect Developer\Bin *
• The following environmental variables will be set:
  $espec points to the location of the ESpec library = C:\espec\library
  $espec_precomp will be pointing to the location of precompiled library: C:\espec\precompiled
  $AUTO_TEST = C:\espec-research\auto_test *
  $ERL_G  = C:\espec_research\auto_test\erl_g…*
  $ISE_C_COMPILER = msc*

(*) only in research edition