[root] / trunk / proof / proofplayer / inc / TOutputListSelectorDataMap.h Repository:
ViewVC logotype

Log of /trunk/proof/proofplayer/inc/TOutputListSelectorDataMap.h

Parent Directory Parent Directory

Links to HEAD: (view) (download) (as text) (annotate)
Sticky Revision:
Revision 33867 - (view) (download) (as text) (annotate) - [select for diffs]
Added Mon Jun 14 10:02:39 2010 UTC (4 years, 7 months ago) by ganis
File length: 1927 byte(s) 
  From Axel:
  Identify which TSelector data members point to which output list object
  on the workers, and if consistent set the client's data members to point
  to the corresponding objects of the merged output list.

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a
Sort log by:
Subversion Admin
 ViewVC Help
Powered by ViewVC 1.0.9