Index: profiles/custom/modules/workflow/workflow.module
===================================================================
--- profiles/custom/modules/workflow/workflow.module	(revision 434)
+++ profiles/custom/modules/workflow/workflow.module	(working copy)
@@ -130,6 +130,15 @@
   $output .= drupal_get_form('workflow_tab_form', $node, $wid, $states, $current);
 
   $result = pager_query("SELECT h.*, u.name FROM {workflow_node_history} h LEFT JOIN {users} u ON h.uid = u.uid WHERE nid = %d ORDER BY stamp DESC", $states_per_page, 0, NULL, $nid);
+  $output .= theme('workflow_history', $result, $states);
+  $output .= theme('pager', $states_per_page);
+  return $output;
+}
+
+/**
+ * Allow themes to override the appearance of the workflow history table.
+ */
+function theme_workflow_history($result, $states) {
   $rows = array();
   while ($history = db_fetch_object($result)) {
     $rows[] = array(
@@ -142,7 +151,6 @@
   }
 
   $output .= theme('table', array(t('Date'), t('Old State'), t('New State'), t('By'), t('Comment')), $rows, array('class' => 'workflow_history'), t('Workflow History'));
-  $output .= theme('pager', $states_per_page);
   return $output;
 }
 
