Thu, 22 Sep 2016 15:14:14 +0200 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de> [Thu, 22 Sep 2016 15:14:14 +0200] rev 20420
#DOCUMENTATION by cg class: MiniDebugger comment/format in: #getCommand:
Thu, 22 Sep 2016 15:13:02 +0200 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de> [Thu, 22 Sep 2016 15:13:02 +0200] rev 20419
#DOCUMENTATION by cg class: LongFloat changed: #printfPrintString:
Thu, 22 Sep 2016 15:12:19 +0200 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de> [Thu, 22 Sep 2016 15:12:19 +0200] rev 20418
#DOCUMENTATION by cg class: LargeInteger comment/format in: #asLargeInteger
Thu, 22 Sep 2016 15:11:47 +0200 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de> [Thu, 22 Sep 2016 15:11:47 +0200] rev 20417
#DOCUMENTATION by cg class: GenericException comment/format in: #originalSignal
Thu, 22 Sep 2016 15:11:35 +0200 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de> [Thu, 22 Sep 2016 15:11:35 +0200] rev 20416
#DOCUMENTATION by cg class: Fraction comment/format in: #asFraction
Thu, 22 Sep 2016 15:11:20 +0200 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de> [Thu, 22 Sep 2016 15:11:20 +0200] rev 20415
#DOCUMENTATION by cg class: Float changed: #printfPrintString:
Thu, 22 Sep 2016 15:11:07 +0200 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de> [Thu, 22 Sep 2016 15:11:07 +0200] rev 20414
#DOCUMENTATION by cg class: FixedPoint comment/format in: #asFixedPoint
Thu, 22 Sep 2016 15:10:55 +0200 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de> [Thu, 22 Sep 2016 15:10:55 +0200] rev 20413
#DOCUMENTATION by cg class: Filename comment/format in:10 methods
Thu, 22 Sep 2016 15:08:51 +0200 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de> [Thu, 22 Sep 2016 15:08:51 +0200] rev 20412
#DOCUMENTATION by cg class: FileStream comment/format in: #collectionSize #size
Thu, 22 Sep 2016 15:08:00 +0200 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de> [Thu, 22 Sep 2016 15:08:00 +0200] rev 20411
#DOCUMENTATION by cg class: ExternalStream comment/format in: #documentation
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip