An extension to JTcl that implements all the functionality F5 added to the Tcl language