diff --git a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-freebsd.wiki b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-freebsd.wiki
index 0a08d4b5..cbd508ea 100644
--- a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-freebsd.wiki
+++ b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-freebsd.wiki
@@ -1,4 +1,4 @@
-[[Property:title|EiffelStudio 6.2 for FreeBSD]]
+[[Property:title|EiffelStudio for FreeBSD]]
[[Property:link_title|FreeBSD]]
[[Property:weight|1]]
[[Property:uuid|b26ddd99-521b-6a10-79e6-e2a5d30f907c]]
@@ -34,53 +34,53 @@
==Checking your environment==
-EiffelStudio 6.2 requires GTK+ 2.4.0 or above to function properly. You can check that you have this installed correctly by typing the following command:
+EiffelStudio requires GTK+ 2.4.0 or above to function properly. You can check that you have this installed correctly by typing the following command:
pkg-config --modversion gtk+-2.0
The command should succeed and the version number of GTK+ should appear. If it is not 2.4.0 or above then you cannot continue the installation of EiffelStudio. You first need to install GTK+ 2.4.0.
==Installing EiffelStudio from the Web==
-After downloading the installation package, you should manually extract its contents to your hard drive. For example, you can extract it into /usr/local using the following commands (assuming that you have permission to /usr/local and that the installation package was saved in /tmp/Eiffel62.tgz):
+After downloading the installation package, you should manually extract its contents to your hard drive. For example, you can extract it into /usr/local using the following commands (assuming that you have permission to /usr/local and that the installation package was saved in /tmp/EiffelXX.tgz, where XX corresponds to the EiffelStudio version number):
cd /usr/local
-tar xvfz /tmp/Eiffel62.tgz
+tar xvfz /tmp/EiffelXX.tgz
-This will install EiffelStudio 6.2 files into /usr/local/Eiffel62. Once this is done, jump to the [[EiffelStudio 6.2 for FreeBSD|Setting up EiffelStudio]] section in order to complete the installation of EiffelStudio.
+This will install EiffelStudio files into /usr/local/EiffelXX. Once this is done, jump to the [[EiffelStudio for FreeBSD|Setting up EiffelStudio]] section in order to complete the installation of EiffelStudio.
==Installing EiffelStudio from a CD-ROM==
Insert the CD into your CD-ROM drive. You should manually extract its contents to your hard drive. For example you can extract it in /usr/local using the following commands (assuming that you have permission to /usr/local and that the CD is mounted on /mnt/cdrom):
cd /usr/local
-cp -r /mnt/cdrom/Eiffel62 .
+cp -r /mnt/cdrom/EiffelXX .
-This will install the EiffelStudio 6.2 files into /usr/local/Eiffel62. To complete the installation of EiffelStudio, jump to the next section, [[EiffelStudio 6.2 for FreeBSD|Setting up EiffelStudio]] .
+This will install the EiffelStudio files into /usr/local/EiffelXX. To complete the installation of EiffelStudio, jump to the next section, [[EiffelStudio for FreeBSD|Setting up EiffelStudio]] .
==Setting up EiffelStudio==
Once the files have been installed, you should define the following environment variables in order to run EiffelStudio:
-* '''ISE_EIFFEL''' to /usr/local/Eiffel62
+* '''ISE_EIFFEL''' to /usr/local/EiffelXX
* '''ISE_PLATFORM''' to freebsd-x86.
and add $'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin to your '''PATH''' environment variable.
Using sh or bash as a shell, it suffices to type the following commands:
-export ISE_EIFFEL=/usr/local/Eiffel62
+export ISE_EIFFEL=/usr/local/EiffelXX
export ISE_PLATFORM=freebsd-x86
-export PATH=$PATH:$'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin
+export PATH=$PATH:$ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin
Using csh or tcsh as a shell, it suffices to type the following commands:
-setenv ISE_EIFFEL /usr/local/Eiffel62
+setenv ISE_EIFFEL /usr/local/EiffelXX
setenv ISE_PLATFORM freebsd-x86
-set path = ($path $'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin)
+set path = ($path $ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin)
-If you are using the Enterprise edition, please follow the instructions of the next section, [[EiffelStudio 6.2 for FreeBSD|Registering the Enterprise Edition]] , otherwise jump to the [[EiffelStudio 6.2 for FreeBSD|Using EiffelStudio]] section at the end of this document.
+If you are using the Enterprise edition, please follow the instructions of the next section, [[EiffelStudio for FreeBSD|Registering the Enterprise Edition]] , otherwise jump to the [[EiffelStudio for FreeBSD|Using EiffelStudio]] section at the end of this document.
==Registering the Enterprise Edition==
-This step assumes you have followed the instructions in the [[EiffelStudio 6.2 for FreeBSD|Setting up EiffelStudio]] section. Perform the following commands to start the registration process:
+This step assumes you have followed the instructions in the [[EiffelStudio for FreeBSD|Setting up EiffelStudio]] section. Perform the following commands to start the registration process:
cd $ISE_EIFFEL
./register
@@ -106,7 +106,7 @@ You may receive the following dialog when launching EiffelStudio:
This probably means that the '''register''' program was not launched or did not succeed in storing data to the following file $'''ISE_EIFFEL'''/install/limand/.ec_license. To solve this, rerun the '''register''' program with a user account that has permissions to write at $'''ISE_EIFFEL'''/install/limand and enter your '''Username''' and '''CD Key'''.
-Once this is done, you can jump to the next section, [[EiffelStudio 6.2 for FreeBSD|Using EiffelStudio]] .
+Once this is done, you can jump to the next section, [[EiffelStudio for FreeBSD|Using EiffelStudio]] .
==Using EiffelStudio==
diff --git a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-hp-openvms.wiki b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-hp-openvms.wiki
index edae3a05..13d34ef9 100644
--- a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-hp-openvms.wiki
+++ b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-hp-openvms.wiki
@@ -1,4 +1,4 @@
-[[Property:title|EiffelStudio 6.2 for HP OpenVMS]]
+[[Property:title|EiffelStudio for HP OpenVMS]]
[[Property:link_title|HP OpenVMS]]
[[Property:weight|2]]
[[Property:uuid|cccbd8cf-3bd6-8acb-e62d-7fb1ce0ef4c2]]
@@ -34,7 +34,7 @@
==Checking your environment==
-EiffelStudio 6.2 requires GTK+ 1.2.10 or above to function properly. You can check that you have this installed correctly by typing the following command:
+EiffelStudio requires GTK+ 1.2.10 or above to function properly. You can check that you have this installed correctly by typing the following command:
gtk-config --version
The command should succeed and the version number of GTK+ should appear. If it is not 1.2.10 or above then you cannot continue the installation of EiffelStudio. You first need to install GTK+ 1.2.10.
@@ -42,12 +42,12 @@ The command should succeed and the version number of GTK+ should appear. If it i
===From the Web===
-After downloading the '''eif62vms.zip''' installation package, unzip the distribution into temp:[dir] where where temp:[dir] is the location of a temporary directory:
-unzip eif62vms.zip temp:[dir]
+After downloading the '''eifXXvms.zip''' installation package (where XX stands for the EiffelStudio version number), unzip the distribution into temp:[dir] where where temp:[dir] is the location of a temporary directory:
+unzip eifXXvms.zip temp:[dir]
And use the following commands to install the files into eiffel_installation_path where eiffel_installation_path is a device:[directory] on an ODS-5 volume:
-set file/attrib=(org:seq,rfm:fix,lrl:9216) temp:[dir]eif62vms.save
-backup temp:[dir]eif62vms.save/save eiffel_installation_path
+set file/attrib=(org:seq,rfm:fix,lrl:9216) temp:[dir]eifXXvms.save
+backup temp:[dir]eifXXvms.save/save eiffel_installation_path
===From a CD===
@@ -55,12 +55,12 @@ You must mount the installation CD-ROM volume with the following qualifier:
mount cd_dev:/media_format=cdrom/undefined_fat=fixed:cr:9216
where cd_dev: is the CD-ROM device. And use the following commands to install the files into eiffel_installation_path where eiffel_installation_path is a device:[directory] on an ODS-5 volume:
-backup cd_dev:[000000]eif62vms.save/save eiffel_installation_path
+backup cd_dev:[000000]eifXXvms.save/save eiffel_installation_path
===Completing the installation===
You must define a system-wide rooted logical name to reference the installation directory, for instance:
-define/system EIFFEL62 eiffel_installation_path:[directory.] /trans=conceal
+define/system EIFFELXX eiffel_installation_path:[directory.] /trans=conceal
To use EiffelStudio for OpenVMS, run the setup procedure to define the environment:
@eiffel_installation_path:[000000]setup
diff --git a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/index.wiki b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/index.wiki
index 6d32a8ae..6bac21f2 100644
--- a/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/index.wiki
+++ b/documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/index.wiki
@@ -1,5 +1,4 @@
-[[Property:title|Software Installation for EiffelStudio 6.3]]
-[[Property:link_title|Software Installation for EiffelStudio]]
+[[Property:title|Software Installation for EiffelStudio]]
[[Property:weight|0]]
[[Property:uuid|b92cecd4-4a0c-e2f5-b63e-5d01d39ba990]]
Select the operating system you are using for detailed installation instructions: