Tue, 08 May 2018 10:40:28 +0200 #FEATURE by cg
Claus Gittinger <cg@exept.de> [Tue, 08 May 2018 10:40:28 +0200] rev 22786
#FEATURE by cg class: LimitedPrecisionReal added: #truncatedToPrecision
Tue, 08 May 2018 09:05:13 +0200 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de> [Tue, 08 May 2018 09:05:13 +0200] rev 22785
#DOCUMENTATION by cg class: ShortFloat class comment/format in: #documentation
Tue, 08 May 2018 09:02:52 +0200 #TUNING by cg
Claus Gittinger <cg@exept.de> [Tue, 08 May 2018 09:02:52 +0200] rev 22784
#TUNING by cg class: SmallInteger changed: #bitCount
Tue, 08 May 2018 07:44:50 +0200 #BUGFIX by cg
Claus Gittinger <cg@exept.de> [Tue, 08 May 2018 07:44:50 +0200] rev 22783
#BUGFIX by cg class: CharacterArray changed: #continuesWith:startingAt: do not compare beyond the end of the receiver
Mon, 07 May 2018 18:03:27 +0200 #BUGFIX by cg
Claus Gittinger <cg@exept.de> [Mon, 07 May 2018 18:03:27 +0200] rev 22782
#BUGFIX by cg class: CharacterEncoder::NullEncoder changed: #readNextCharacterFrom: care for EOF
Mon, 07 May 2018 14:43:19 +0200 #UI_ENHANCEMENT by cg
Claus Gittinger <cg@exept.de> [Mon, 07 May 2018 14:43:19 +0200] rev 22781
#UI_ENHANCEMENT by cg class: ReadEvalPrintLoop class definition comment/format in: #readEvalPrintLoop
Mon, 07 May 2018 13:06:59 +0200 #BUGFIX by cg
Claus Gittinger <cg@exept.de> [Mon, 07 May 2018 13:06:59 +0200] rev 22780
#BUGFIX by cg class: ReadEvalPrintLoop changed: #cmd_ide:
Mon, 07 May 2018 13:05:38 +0200 #BUGFIX by cg
Claus Gittinger <cg@exept.de> [Mon, 07 May 2018 13:05:38 +0200] rev 22779
#BUGFIX by cg class: ReadEvalPrintLoop changed: #cmd_ide:
Mon, 07 May 2018 13:04:53 +0200 #BUGFIX by cg
Claus Gittinger <cg@exept.de> [Mon, 07 May 2018 13:04:53 +0200] rev 22778
#BUGFIX by cg class: ReadEvalPrintLoop changed: #cmd_ide:
Mon, 07 May 2018 13:01:00 +0200 #BUGFIX by cg
Claus Gittinger <cg@exept.de> [Mon, 07 May 2018 13:01:00 +0200] rev 22777
#BUGFIX by cg class: NonPositionableExternalStream changed: #atEnd should not block if asking Stdin.
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip