# HG changeset patch
# User wenzelm
# Date 1197806977 -3600
# Node ID 8c45834392e7d25365af91984c3b3072a0262f9c
# Parent  dcee4bb2ba5c09ee13d11792c46fc5614383e77f
tuned comments;

diff -r dcee4bb2ba5c -r 8c45834392e7 lib/classes/isabelle/IsabelleProcess.java
--- a/lib/classes/isabelle/IsabelleProcess.java	Sun Dec 16 13:05:53 2007 +0100
+++ b/lib/classes/isabelle/IsabelleProcess.java	Sun Dec 16 13:09:37 2007 +0100
@@ -15,6 +15,13 @@
  *    - process exit (return code)
  *
  * I/O is fully asynchronous, with unrestricted buffers.  Text is encoded as UTF-8.
+ * 
+ * System properties:
+ * 
+ *   isabelle.home      ISABELLE_HOME of Isabelle installation
+ *                      (default determined from isabelle-process via PATH)
+ *   isabelle.shell     optional shell command for isabelle-process (also requires isabelle.home)
+ *   isabelle.kill      optional kill command (default "kill")
  */
 
 package isabelle;