Shen/tk surpassing SP

[dr.mt...@gmail.com]

Shen/tk type theory is now surpassing SP.  It's the largest

type theory I've ever encoded - 962 lines with axioms and

rules in triple figures.   It's not logically deep but it is big due

to the size of the TCL/tk spec.

Mark

[dr.mt...@gmail.com]

Now established feedback error messaging from 

TCL/tk.

(4-) (tk.widget 4 button)
 bad window path name 4

M.