data/prooftree-0.13/draw_tree.ml:49: functionallity ==> functionality
data/prooftree-0.13/draw_tree.ml:53: absolut ==> absolute
data/prooftree-0.13/draw_tree.ml:93: whoose ==> whose
data/prooftree-0.13/draw_tree.ml:201: forground ==> foreground
data/prooftree-0.13/draw_tree.ml:438: relativ ==> relative
data/prooftree-0.13/draw_tree.ml:950: childs ==> children, child's
data/prooftree-0.13/draw_tree.ml:1232: CHILDS ==> CHILDREN, CHILD'S
data/prooftree-0.13/draw_tree.ml:1502: shortend ==> shortened, short end
data/prooftree-0.13/configuration.ml:165: intantiate ==> instantiate
data/prooftree-0.13/configuration.ml:188: heigth ==> height
data/prooftree-0.13/configuration.ml:838: Disabeling ==> Disabling
data/prooftree-0.13/configuration.ml:990: configuation ==> configuration
data/prooftree-0.13/util.ml:127: occurence ==> occurrence
data/prooftree-0.13/help_window.ml:233: build-in ==> built-in
data/prooftree-0.13/gtk_ext.ml:30: convinience ==> convenience
data/prooftree-0.13/gtk_ext.ml:54: Convinience ==> Convenience
data/prooftree-0.13/gtk_ext.ml:81: idicated ==> indicated
data/prooftree-0.13/coq.ml:119: folling ==> following, falling, rolling
data/prooftree-0.13/proof_window.ml:55: singals ==> signals
data/prooftree-0.13/proof_window.ml:959: preceeded ==> preceded, proceeded
data/prooftree-0.13/proof_tree.ml:372: surviver ==> survivor
data/prooftree-0.13/proof_tree.ml:438: surviver ==> survivor
data/prooftree-0.13/proof_tree.ml:487: surviver ==> survivor
data/prooftree-0.13/proof_tree.ml:507: surviver ==> survivor
data/prooftree-0.13/ChangeLog:232: surviver ==> survivor
data/prooftree-0.13/input.ml:77: preceeds ==> precedes, proceeds
data/prooftree-0.13/input.ml:78: ommitted ==> omitted
data/prooftree-0.13/input.ml:216: whoose ==> whose
data/prooftree-0.13/input.ml:227: preceeded ==> preceded, proceeded
data/prooftree-0.13/input.ml:306: execption ==> exception
data/prooftree-0.13/input.ml:413: calles ==> calls