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

Log of /trunk/proof/proof/inc/TQueryResultManager.h

Parent Directory Parent Directory

Links to HEAD: (view) (download) (as text) (annotate)
Sticky Revision:
Revision 25902 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Tue Oct 21 08:42:10 2008 UTC (6 years, 3 months ago) by ganis
File length: 4046 byte(s)
Diff to previous 25720 
Include in the final account also the CPU time used by the master
Revision 25720 - (view) (download) (as text) (annotate) - [select for diffs]
Added Tue Oct 7 10:13:37 2008 UTC (6 years, 3 months ago) by ganis
File length: 3725 byte(s) 
   Move the code for query-result management into a new class TQueryResultManager,
   so that it can be used in other places (e.g. prooflite).

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