# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1381085992 -7200
# Node ID 67a3d7c271761b6e95fc013c0e38e79727cd79de
# Parent  48f3af55bd30ce432e8964c7f057aed3c7099902
Removed the optimisation flag and related instructions.

diff -r 48f3af55bd30 -r 67a3d7c27176 README.txt
--- a/README.txt	Mon Jul 08 00:37:20 2013 +0200
+++ b/README.txt	Sun Oct 06 20:59:52 2013 +0200
@@ -36,10 +36,9 @@
 -----------
 
 Currently, the test.py program is the principal means of compiling and running
-code. For example, to inspect the logical.py test program (with all
-optimisations enabled)...
+code. For example, to inspect the logical.py test program...
 
-  python -i test.py tests/logical.py -m -omax
+  python -i test.py tests/logical.py -m
 
 ...will provide a number of objects which can then be inspected, notably the
 rm (RSVP machine) object which provides the following methods:
@@ -51,22 +50,11 @@
 
 To run a test and check the output, specify the -t option:
 
-  python test.py tests/logical.py -t -omax
+  python test.py tests/logical.py -t
 
 To run all tests, use the test_all.py program:
 
-  python test_all.py -omax
-
-Both programs support optimisations either using the -o flag immediately
-followed (no space or separator) by a comma-separated list of options (defined
-in the docs/optimisations.txt document) or by specifying -omax to apply all
-possible optimisations.
-
-It is generally recommended to apply all possible optimisations when
-generating programs as this dramatically reduces the size of the program and
-accompanying structures, and it also makes the code generation process
-substantially faster. Optimisations should not cause programs to fail: they
-should all always be "safe" to apply.
+  python test_all.py
 
 Program Reports/Summaries
 -------------------------
@@ -75,7 +63,7 @@
 modules present in a given program, with each module's code annotated with
 scope, attribute and inferred type information. For example:
 
-  python test.py tests/logical.py -omax -d logical_report
+  python test.py tests/logical.py -d logical_report
 
 This should produce a number of files in the logical_report directory.