Java datatype API fixups, datatype API examples

1 files changed, 10 insertions, 9 deletions

diff --git a/examples/README b/examples/README
index 246388085..d64ed3469 100644
--- a/examples/README
+++ b/examples/README
@@ -10,6 +10,12 @@ world" examples, and do not fully demonstrate the interfaces, but
 function as a starting point to using simple expressions and solving
 functionality through each library.
 
+*** Targetted examples
+
+The "api" directory contains some more specifically-targetted
+examples (for bitvectors, for arithmetic, etc.).  The "api/java"
+directory contains the same examples in Java.
+
 *** Installing example source code
 
 Examples are not automatically installed by "make install".  If you
@@ -21,13 +27,8 @@ in /usr/local/share/doc/cvc4/examples).
 *** Building examples
 
 Examples can be built as a separate step, after building CVC4 from
-source.  After building CVC4, you can run "make examples" (or just
-"make" from *inside* the examples directory).  You'll find the built
-binaries in builds/examples (or just in "examples" if you configured a
-build directory outside of the source tree).
-
-Many of the language bindings examples (python, ocaml, ruby, etc.) do
-not need to be compiled to run.  These are not compiled by
-"make"---see the comments in the files for ideas on how to run them.
+source.  After building CVC4, you can run "make examples".  You'll
+find the built binaries in builds/examples (or just in "examples" if
+you configured a build directory outside of the source tree).
 
--- Morgan Deters <mdeters@cs.nyu.edu>  Wed, 03 Oct 2012 15:47:33 -0400
+-- Morgan Deters <mdeters@cs.nyu.edu>  Tue, 24 Dec 2013 09:12:59 -0500