LimitedPrecisionReal.st
Thu, 07 Jun 2018 16:28:55 +0200 Claus Gittinger #BUGFIX by cg
Thu, 07 Jun 2018 16:23:29 +0200 Claus Gittinger #BUGFIX by cg
Thu, 10 May 2018 01:22:36 +0200 Stefan Vogel #BUGFIX by stefan
Thu, 10 May 2018 01:16:55 +0200 Stefan Vogel #DOCUMENTATION by stefan
Tue, 08 May 2018 10:49:41 +0200 Claus Gittinger #DOCUMENTATION by cg
Tue, 08 May 2018 10:40:28 +0200 Claus Gittinger #FEATURE by cg
Wed, 14 Mar 2018 20:12:49 +0100 mawalch #DOCUMENTATION by mawalch
Fri, 19 Jan 2018 23:57:45 +0100 Claus Gittinger #QUALITY by cg
Tue, 10 Oct 2017 16:04:42 +0200 Claus Gittinger #REFACTORING by cg
Fri, 22 Sep 2017 10:29:37 +0200 Claus Gittinger #DOCUMENTATION by cg
Fri, 25 Aug 2017 12:38:25 +0200 Claus Gittinger #REFACTORING by cg
Tue, 18 Jul 2017 14:34:19 +0200 Claus Gittinger #REFACTORING by cg
Mon, 03 Jul 2017 13:48:39 +0200 Claus Gittinger #DOCUMENTATION by cg
Wed, 21 Jun 2017 20:49:31 +0200 Claus Gittinger #DOCUMENTATION by cg
Tue, 20 Jun 2017 18:23:04 +0200 Claus Gittinger *** empty log message ***
Tue, 20 Jun 2017 14:15:04 +0200 Claus Gittinger #FEATURE by cg
Tue, 20 Jun 2017 14:14:17 +0200 Claus Gittinger *** empty log message ***
Tue, 20 Jun 2017 12:59:54 +0200 Claus Gittinger #DOCUMENTATION by cg
Tue, 20 Jun 2017 12:23:11 +0200 Claus Gittinger #BUGFIX by cg
Mon, 19 Jun 2017 18:27:15 +0200 Claus Gittinger #BUGFIX by cg
Sat, 17 Jun 2017 03:00:59 +0200 Claus Gittinger #DOCUMENTATION by cg
Thu, 15 Jun 2017 09:57:14 +0200 Claus Gittinger #DOCUMENTATION by cg
Wed, 14 Jun 2017 19:22:02 +0200 Claus Gittinger #QUALITY by cg
Mon, 12 Jun 2017 21:05:04 +0200 Claus Gittinger #DOCUMENTATION by cg
Wed, 24 May 2017 22:28:18 +0200 mawalch #OTHER by mawalch
Wed, 25 Jan 2017 14:28:27 +0000 HG Automerge Merge jv
Mon, 23 Jan 2017 11:39:35 +0100 Claus Gittinger #BUGFIX by cg
Tue, 22 Nov 2016 14:52:52 +0000 Jan Vrany Merge jv
Wed, 16 Nov 2016 23:16:14 +0100 Claus Gittinger #DOCUMENTATION by cg
Fri, 01 Jul 2016 15:31:10 +0100 Jan Vrany Merge jv
less more (0) -100 -50 -30 tip