fixed issue #18, '.' had a wrong precedence level
below frege/ there must not be preliminary code
remove SVN keywords
delete contrib/yoeight
Compose datatype
fixed issue #12
Merge branch 'master' of https://github.com/Frege/frege
marked parts that must be commented out when compiling with java6
Merge branch 'issue3'
started frege equivalent for java.net
fixed issue #10
Merge branch 'issue10' that fixes issue #10
Merge branch 'master' into issue3
Product and Coproduct datatype
created interface packages for java.net and java.io
created new java subdirectory with Net.fr and IO.fr
fixed issue #2
Merge branch 'master' of https://github.com/Frege/frege
In deciding whether 2 TCons can be unified,
the type checker now accepts two types with different names,
as long as they both refer to the same java type.
corrected Makefile to compile Javatypes.fr before TCUtil.fr