Tue, 24 Sep 1996 10:19:50 +0200 checkin from browser
Claus Gittinger <cg@exept.de> [Tue, 24 Sep 1996 10:19:50 +0200] rev 1683
checkin from browser
Mon, 23 Sep 1996 18:39:56 +0200 be more robust with spaces in abbrev.stc
Claus Gittinger <cg@exept.de> [Mon, 23 Sep 1996 18:39:56 +0200] rev 1682
be more robust with spaces in abbrev.stc
Mon, 23 Sep 1996 16:06:15 +0200 *** empty log message ***
Claus Gittinger <cg@exept.de> [Mon, 23 Sep 1996 16:06:15 +0200] rev 1681
*** empty log message ***
Mon, 23 Sep 1996 15:54:30 +0200 *** empty log message ***
Claus Gittinger <cg@exept.de> [Mon, 23 Sep 1996 15:54:30 +0200] rev 1680
*** empty log message ***
Mon, 23 Sep 1996 15:36:01 +0200 Allow scheduler to suspend/resume itself. This makes semaphores work
Stefan Vogel <sv@exept.de> [Mon, 23 Sep 1996 15:36:01 +0200] rev 1679
Allow scheduler to suspend/resume itself. This makes semaphores work on startup, when scheduler is the only process. Introduce and raise InvalidProcessSignal on errrors.
Mon, 23 Sep 1996 15:25:39 +0200 Change #appropriateDebugger: to call Minidebugger when being called by
Stefan Vogel <sv@exept.de> [Mon, 23 Sep 1996 15:25:39 +0200] rev 1678
Change #appropriateDebugger: to call Minidebugger when being called by a system process.
Mon, 23 Sep 1996 15:18:15 +0200 also needs #become:, #becomeSameAs: and #becomeNil
Claus Gittinger <cg@exept.de> [Mon, 23 Sep 1996 15:18:15 +0200] rev 1677
also needs #become:, #becomeSameAs: and #becomeNil
Mon, 23 Sep 1996 14:40:14 +0200 return an id from #addTimeout:
Claus Gittinger <cg@exept.de> [Mon, 23 Sep 1996 14:40:14 +0200] rev 1676
return an id from #addTimeout: added #addTimeoutFunctionCall: for C-code timeouts.
Mon, 23 Sep 1996 14:05:38 +0200 *** empty log message ***
Claus Gittinger <cg@exept.de> [Mon, 23 Sep 1996 14:05:38 +0200] rev 1675
*** empty log message ***
Mon, 23 Sep 1996 12:45:58 +0200 *** empty log message ***
Claus Gittinger <cg@exept.de> [Mon, 23 Sep 1996 12:45:58 +0200] rev 1674
*** empty log message ***
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip