let mark_history () =
  let m = the_model () in
  if m.model_updated then 
    ( m.model_history <- succ m.model_history ; m.model_updated <- false )