misc minor typos fixes, dev version

This commit is contained in:
Goffi 2010-12-20 00:52:18 +11:00
commit c244b79c2c
4 changed files with 4 additions and 4 deletions

View file

@ -13,7 +13,7 @@ To use SàT, you will need to install:
** PATHS:
You must have the main dir (with sat inside) and frontend in your PYTHONPATH. For exemple, if you have uncompressed the soft in /tmp/useless_soft:
You must have the main dir (with sat inside) and frontend in your PYTHONPATH. For example, if you have uncompressed the soft in /tmp/useless_soft:
> export PYTHONPATH=$PYTHONPATH:/tmp/useless_soft:/tmp/useless_soft/frontends