merging 'restart' and 'clear' buttons into one, for the sake of simplicity
Eval mark: rewinding when point is already evaluated
that way it won't get in the way
eval_mark: cleanup code
polishing the gtk ocaml mode
highlight of operators
Small fixes & comments
wip better highlight of ocaml messages
more style changes