Initial import

git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@1 af1217dd-cd28-0410-9574-8a71f6cdaffb
Ally: Deleted unnecessary .class, .project and .classpath files.

git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@2 af1217dd-cd28-0410-9574-8a71f6cdaffb
Ally: Deleted some class files.

git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@3 af1217dd-cd28-0410-9574-8a71f6cdaffb
Ally: Deleted some eclipse-related folders

git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@4 af1217dd-cd28-0410-9574-8a71f6cdaffb
Ally: Deleted some unnecessary eclipse-related folders

git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@5 af1217dd-cd28-0410-9574-8a71f6cdaffb
Ally: Deleted some unnecessary eclipse-related files

git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@6 af1217dd-cd28-0410-9574-8a71f6cdaffb
Committed the Common folder.  Made some changes to strategies, to incorporate symmetric markers.

git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@7 af1217dd-cd28-0410-9574-8a71f6cdaffb
Updated TopSPIN so that code generation is all done by the Java application, rather than by PreparePan.pl

git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@8 af1217dd-cd28-0410-9574-8a71f6cdaffb
The symmetric markers strategies are working (final stages of ATVA paper)

git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@9 af1217dd-cd28-0410-9574-8a71f6cdaffb
Fixed "segment" strategy

git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@10 af1217dd-cd28-0410-9574-8a71f6cdaffb
Committed some changes to the way symmetry is applied (aiming for parallel symmetry reduction using something we're doing at Codeplay)

git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@11 af1217dd-cd28-0410-9574-8a71f6cdaffb
Reworked type representation, fixed the way recursive type names are displayed, and added checks for gotos

git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@12 af1217dd-cd28-0410-9574-8a71f6cdaffb
Moved 'unifier' to 'typeinference'

git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@13 af1217dd-cd28-0410-9574-8a71f6cdaffb
Added missing Environment file

git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@14 af1217dd-cd28-0410-9574-8a71f6cdaffb
Added missing files

git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@15 af1217dd-cd28-0410-9574-8a71f6cdaffb
Added missing files

git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@16 af1217dd-cd28-0410-9574-8a71f6cdaffb
Changed the way semi-colons (actually ; or ->) are handled, to allow more flexibility.  Set NumericType to implement visibleType

git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@17 af1217dd-cd28-0410-9574-8a71f6cdaffb
Refactored Error.java etc. so that we now have the notion of Feedback.  This is with a view to introducing Advice

git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@18 af1217dd-cd28-0410-9574-8a71f6cdaffb
Added some missing files


git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@19 af1217dd-cd28-0410-9574-8a71f6cdaffb
Deleted files which are automatically generated by SableCC.

git-svn-id: svn+ssh://svnuser.doc.ic.ac.uk/homes/afd/svn/symmetrytools/trunk@20 af1217dd-cd28-0410-9574-8a71f6cdaffb