X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=blobdiff_plain;f=docs%2Finstall-fermat-on-linux.txt;h=7f0bf462cd9b5aa9c8c57c364a28c038d226a50d;hp=b3b1ad8d445d4d41bc6bd183a6ca2f364cb62de1;hb=6b8431d69d76fec418cded9d74e4b3e7ee2ea624;hpb=8ba67d1758b43ac16c2e965aed1db0c479a4366a

diff --git a/docs/install-fermat-on-linux.txt b/docs/install-fermat-on-linux.txt
index b3b1ad8..7f0bf46 100644
--- a/docs/install-fermat-on-linux.txt
+++ b/docs/install-fermat-on-linux.txt
@@ -5,13 +5,14 @@ How to install and use FermaT on a Linux machine
 These instructions should work on most distributions from the Debian family
 (Ubuntu, Mint, CrunchBang, ...) and with small changes on any other Linux or
 BSD system.  The main changes are in the usage of the package system -
-debian uses ".deb" packages and the "apt-get" command, others use yum,
+Debian uses ".deb" packages and the "apt-get" command, others use yum,
 packman etc.
 
 The machine that these instructions were tested with was a fresh Ubuntu
 install, more precisely Lubuntu 14.04, 64 bit version.  It came with gcc
 4.8.2 (4.8.2-19ubuntu1) installed.
-
+It was also tested on a fresh install of CrunchBang Waldorf (based on
+Debian Wheezy), 64 bit version. It came with gcc (Debian 4.7.2-5) 4.7.2.
 
 Dependencies
 ============
@@ -48,7 +49,7 @@ Perl is included by default, but you also need some extra modules -
 Bit::Vector and Set::IntRange.
 
 If these modules are not installed WSL will work in most cases, but
-not all. To be sure everything is ok run "make test" and check that
+not all. To be sure everything is OK run "make test" and check that
 all the tests succeeded.
 
 Debian:
@@ -112,7 +113,7 @@ If you use csh or tcsh then:
   cd fermat3
   source DOIT.csh
 
-After setting the envirotment variable and path, you can recompile FermaT
+After setting the environment variable and path, you can recompile FermaT
 with the command:
 
   make-fermat
@@ -125,7 +126,7 @@ and test some transformations with:
 
   test-trans
 
-If everything is ok you should be able to enter "wsl" in the command
+If everything is OK you should be able to enter "wsl" in the command
 line and get a usage message.