Added code attributions to Clemens Hammacher.
more recent revtr 10k sample
Changed JungGui.java as outlined in Issue 88
slaml11 evaluation scripts, synoptic input, and synoptic output files
Colors in invariants tab changed from Red and Green to Red and Blue to be easier to see (for color blind).
Added ticket reservation example used in SLAML'11 as an abstract trace.
Added NeverConcurrent and AlwaysConccurrent invariant mining to DAGWalkingPOInvMiner. Updated VTIME parsing to infer process ids (PIDs) and optionally to parse these from the log file. Propagated these changes to the test suite.
Resolved Issue 91 and Issue 73. Slight improvement to PO mining.
Improved vtime parsing, added/refactored parsing tests.
Removed jar-export desc file (use build.xml instead). Made SynopticGWT compile by updating its use of Synoptic class names.
cleaned up revtr models
Import of svn r427 (a.w.davies.vio@gmail.com): Allows user to specify invariants for removal from "Invariants" tab.
Import of svn r428 and r429 (i3az0kimchi@gmail.com): Added Export/Download button to model tab for SynopticGWT.
Testing commit with Mercurial.
General code cleanup.
More code cleanup.  Comment additions.  Buttons changed for invariants tab.
Switched GWTGraph to use a list of weighted transitions in place of the previous
method which was to get a set of adjacent partition nodes.
Added weighted edges to GWT Graph.

Added a GWTTriplet class so the GWTGraph class could support weighted edges.

Added a GWTInvariants class to make a more expandable client-side invariant
counterpart.
Code cleanup.  Comments added.
Broken invariant removal buttons fixed.
GWT Graph now has truncated weights on the edges (to three decimals)