+2003-01-03 Tom Tromey <tromey@redhat.com>
+
+ * gcj.texi (GNU Classpath Properties): Document new properties.
+
2003-01-02 Steven Bosscher <s.bosscher@student.tudelft.nl>
* java/jcf-reader.c, java/jvgenmain.c, java/keyword.gperf,
@code{java.io.ObjectOutput} classes when set to something else then the empty
string. Only used when running a debug build of the library.
+@item gnu.classpath.vm.shortname
+This is a succint name of the virtual machine. For @code{libgcj},
+this will always be @samp{libgcj}.
+
+@item gnu.classpath.home.url
+A base URL used for finding system property files (e.g.,
+@file{classpath.security}). By default this is a @samp{file:} URL
+pointing to the @file{lib} directory under @samp{java.home}.
+
@end table
@node libgcj Runtime Properties