Morgan Deters f06ae104dc Some cleanup and copyright updating ...

* update some copyrights for 2013
* cleaned up some comments/ifdefs, indentation
* some spelling corrections
* add some missing makefiles

2013-02-16 15:23:00 -05:00

..

BitVectors.java

updated examples

2012-12-01 01:43:08 +00:00

BitVectorsAndArrays.java

updated examples

2012-12-01 01:43:08 +00:00

Combination.java

Some cleanup and copyright updating

2013-02-16 15:23:00 -05:00

HelloWorld.java

all API examples now have java versions too; bitvectors gets built; also updated old-style copyrights in the examples

2012-11-30 23:07:19 +00:00

LinearArith.java

updated examples

2012-12-01 01:43:08 +00:00

Makefile

all API examples now have java versions too; bitvectors gets built; also updated old-style copyrights in the examples

2012-11-30 23:07:19 +00:00

Makefile.am

updated examples

2012-12-01 01:43:08 +00:00