[Javapathfinder-devel] SF.net SVN: javapathfinder: [517] trunk

[<pcm...@us...>]

Revision: 517
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=517&view=rev
Author:   pcmehlitz
Date:     2007-08-16 17:31:14 -0700 (Thu, 16 Aug 2007)

Log Message:
-----------
* LOG_HOST and LOG_PORT are now config settable

* minor printing glitch in GOTO (NPE)

* finally picked up the "Output" documentation, but the reporting system is still missing

Modified Paths:
--------------
    trunk/doc/Output.html
    trunk/src/gov/nasa/jpf/jvm/bytecode/GOTO.java
    trunk/src/gov/nasa/jpf/util/LogHandler.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.