ongoing work on NormalForms.hs

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1400 8b35ee93-31c1-4acc-b283-6c2059e6c15c
ongoing work on NormalForms.hs

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1401 8b35ee93-31c1-4acc-b283-6c2059e6c15c
ongoing work on NormalForms.hs

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1402 8b35ee93-31c1-4acc-b283-6c2059e6c15c
git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1403 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Command line options have been moved inside Fspc.

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1404 8b35ee93-31c1-4acc-b283-6c2059e6c15c
small bug fixed

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1405 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Fixed ticket #411

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1406 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Fixed a small bug in the classdiagrams. Cardinality did not show correct. 

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1407 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Tiny fix for cardinality phrases in Data Analysis chapter.

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1408 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Fixed the direction of ISA relations in classification diagrams

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1409 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Simplify:  I have removed data structure Clauses, yielding a small improvement in understandable code.

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1410 8b35ee93-31c1-4acc-b283-6c2059e6c15c
fixed a minor mistake in assembleECA, about tracing a Quad back to its rule.

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1411 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Fixed one mistake in the rewrite rules of NormalForms.hs and added some software for testing confluence.

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1412 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Ignore cabal.sandbox.config and .cabal-sandbox

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1413 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Show time in local time zone instead of UTC in version string

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1414 8b35ee93-31c1-4acc-b283-6c2059e6c15c
In absence of explicit language in .adl, use language from --language option for the context 

Fixes #413

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1415 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Typos

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1416 8b35ee93-31c1-4acc-b283-6c2059e6c15c
fix for trac 415

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1417 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Improved type-error messages, I hope. Let me know what you think!

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1418 8b35ee93-31c1-4acc-b283-6c2059e6c15c
Improved weight function. Hope it helps!

git-svn-id: svn+ssh://svn.code.sf.net/p/ampersand/code/trunk@1419 8b35ee93-31c1-4acc-b283-6c2059e6c15c