Wed, 23 Oct 1996 20:13:15 +0200 fast next in subcontext of subblock
Claus Gittinger <cg@exept.de> [Wed, 23 Oct 1996 20:13:15 +0200] rev 803
fast next in subcontext of subblock
Wed, 23 Oct 1996 19:32:35 +0200 checkin from browser
Claus Gittinger <cg@exept.de> [Wed, 23 Oct 1996 19:32:35 +0200] rev 802
checkin from browser
Wed, 23 Oct 1996 17:35:33 +0200 allow halt in debugger, if DebuggingDebugger is true.
Claus Gittinger <cg@exept.de> [Wed, 23 Oct 1996 17:35:33 +0200] rev 801
allow halt in debugger, if DebuggingDebugger is true.
Wed, 23 Oct 1996 17:34:01 +0200 finally: show block-arg and var-names.
Claus Gittinger <cg@exept.de> [Wed, 23 Oct 1996 17:34:01 +0200] rev 800
finally: show block-arg and var-names.
Wed, 23 Oct 1996 02:20:50 +0200 checkin from browser
Claus Gittinger <cg@exept.de> [Wed, 23 Oct 1996 02:20:50 +0200] rev 799
checkin from browser
Wed, 23 Oct 1996 02:10:12 +0200 checkin from browser
Claus Gittinger <cg@exept.de> [Wed, 23 Oct 1996 02:10:12 +0200] rev 798
checkin from browser
Wed, 23 Oct 1996 01:14:36 +0200 care for bold-font-views when boldifying
Claus Gittinger <cg@exept.de> [Wed, 23 Oct 1996 01:14:36 +0200] rev 797
care for bold-font-views when boldifying
Wed, 23 Oct 1996 00:22:50 +0200 XtHTML is no longer there ...
Claus Gittinger <cg@exept.de> [Wed, 23 Oct 1996 00:22:50 +0200] rev 796
XtHTML is no longer there ...
Tue, 22 Oct 1996 22:29:27 +0200 update for privacy/wrapping changes fixed.
Claus Gittinger <cg@exept.de> [Tue, 22 Oct 1996 22:29:27 +0200] rev 795
update for privacy/wrapping changes fixed.
Tue, 22 Oct 1996 21:34:43 +0200 checkin from browser
Claus Gittinger <cg@exept.de> [Tue, 22 Oct 1996 21:34:43 +0200] rev 794
checkin from browser
(0) -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip