Changes

added cases test
 (commit: cb91dbe)

Stub for IO library with implementation of echo function.
	new file:   c-examples/lib/IO.c
new file:   c-examples/lib/IO.h
new file:   c-examples/tests/ClassIO_Tests.cpp
 (commit: 714b276)

Started work on pretty printing.  Implemented pretty printing of Boolean
values.
	modified:   c-examples/lib/VdmBasicTypes.c
modified:   c-examples/lib/VdmBasicTypes.h
new file:   c-examples/tests/PrettyPrint_Tests.cpp
 (commit: 6635de5)

Implementation of pretty printing of integers.
	modified:   c-examples/lib/VdmBasicTypes.c
modified:   c-examples/lib/VdmBasicTypes.h
modified:   c-examples/tests/PrettyPrint_Tests.cpp
 (commit: 9ad33f0)

Inserted an important comment.
	modified:   c-examples/lib/VdmBasicTypes.c
 (commit: c179142)

Implementation of pretty printing for individual chars.
	modified:   c-examples/lib/VdmBasicTypes.c
modified:   c-examples/lib/VdmBasicTypes.h
modified:   c-examples/tests/PrettyPrint_Tests.cpp
 (commit: 9ff2126)

Implementation of printing function for reals.
	modified:   c-examples/lib/VdmBasicTypes.c
modified:   c-examples/lib/VdmBasicTypes.h
modified:   c-examples/tests/PrettyPrint_Tests.cpp
 (commit: 911410a)

Continuing with implementation of IO library.  Some restructuring.
	modified:   c-examples/lib/IO.c
modified:   c-examples/lib/Vdm.h
modified:   c-examples/lib/VdmBasicTypes.c
modified:   c-examples/tests/PrettyPrint_Tests.cpp
 (commit: 9961469)

Moved pretty printing system up a level of abstraction to TypedValue in
preparation for dealing with collections.
	modified:   c-examples/lib/TypedValue.c
modified:   c-examples/lib/TypedValue.h
modified:   c-examples/lib/VdmBasicTypes.c
modified:   c-examples/lib/VdmBasicTypes.h
 (commit: 7744dfb)

-  Started implementation of pretty printing of collections. -  Started
turning tests into higher-level tests of IO class functionality.
 (commit: 93eb88a)

Implementation of println.
	modified:   c-examples/lib/IO.c
modified:   c-examples/tests/ClassIO_Tests.cpp
modified:   c-examples/tests/PrettyPrint_Tests.cpp
 (commit: da4c73b)

Working implementation of pretty printing of sets.
	modified:   c-examples/lib/TypedValue.c
modified:   c-examples/tests/ClassIO_Tests.cpp
 (commit: 5c47752)

-  Plugged a memory leak in set pretty printing. -  Comments
	modified:   c-examples/lib/TypedValue.c
 (commit: 7711bab)

Working pretty printing implementation for sequences.
	modified:   c-examples/lib/TypedValue.c
modified:   c-examples/tests/ClassIO_Tests.cpp
 (commit: 4b85f13)

A temporary modification to print sequences of chars as strings instead
of sequences.
	modified:   c-examples/lib/IO.c
modified:   c-examples/lib/TypedValue.h
modified:   c-examples/tests/ClassIO_Tests.cpp
 (commit: ed4b213)

moved includes and ifdefed all IO
 (commit: c20775f)