8 Commits

Author	SHA1	Message	Date
PaulMeng	904ffb6e73	update from the master	2016-04-20 14:43:18 -05:00
Morgan Deters	8ad7662ef9	Update copyrights.	2014-07-01 14:47:24 -04:00
Morgan Deters	9b59e12cf7	Fix typo in bitvectors example; thanks to Adam Gashlin for reporting the issue.	2014-05-02 19:22:26 -04:00
Morgan Deters	86b54ede8a	Incremental is now on by default when using from API, off for command-line driver except in interactive mode.	2013-11-27 11:12:26 -05:00
Morgan Deters	166bbd9c57	Regenerated copyrights: canonicalized names, no emails	2013-04-02 14:36:18 -04:00
Morgan Deters	0e6e0f1816	update copyrights	2013-04-01 23:32:39 -04:00
Morgan Deters	8953b603bd	updated examples	2012-12-01 01:43:08 +00:00
Morgan Deters	45229fd903	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