Wed, 19 Jul 2017 09:42:32 +0200 Jan Vrany Issue #154: Set window style using `#beToolWindow` jv
Sat, 12 Aug 2017 13:22:07 +0200 Claus Gittinger #BUGFIX by cg
Fri, 11 Aug 2017 11:24:12 +0200 Stefan Vogel #TUNING by stefan
Thu, 10 Aug 2017 16:18:21 +0200 mawalch #BUGFIX by mawalch
Wed, 09 Aug 2017 23:57:34 +0200 Claus Gittinger #FEATURE by cg
Wed, 09 Aug 2017 10:39:38 +0200 Claus Gittinger #REFACTORING by cg
Tue, 08 Aug 2017 16:32:46 +0200 mawalch #REFACTORING
Fri, 04 Aug 2017 13:04:29 +0200 Claus Gittinger initial checkin
Thu, 03 Aug 2017 23:14:41 +0200 mawalch #REFACTORING by mawalch
Thu, 03 Aug 2017 23:00:35 +0200 mawalch #OTHER
Thu, 03 Aug 2017 23:00:17 +0200 mawalch #OTHER by mawalch
Wed, 02 Aug 2017 13:07:57 +0200 Claus Gittinger #UI_ENHANCEMENT by cg
Tue, 01 Aug 2017 10:47:32 +0200 Stefan Vogel #BUGFIX by stefan
Fri, 28 Jul 2017 09:46:11 +0200 Claus Gittinger #TUNING by cg
Thu, 27 Jul 2017 12:58:43 +0200 Claus Gittinger #DOCUMENTATION by cg
Thu, 27 Jul 2017 12:47:41 +0200 Claus Gittinger #FEATURE by cg
Thu, 27 Jul 2017 12:47:26 +0200 Claus Gittinger *** empty log message ***
Thu, 27 Jul 2017 09:38:48 +0200 Stefan Vogel #REFACTORING by stefan
Wed, 26 Jul 2017 17:35:18 +0200 Claus Gittinger #BUGFIX by cg
Wed, 26 Jul 2017 17:09:46 +0200 Claus Gittinger #BUGFIX by cg
Wed, 26 Jul 2017 12:35:13 +0200 Stefan Vogel #REFACTORING by stefan
Wed, 26 Jul 2017 12:29:03 +0200 Stefan Vogel #REFACTORING by stefan
Tue, 25 Jul 2017 11:04:17 +0200 Claus Gittinger #UI_ENHANCEMENT by cg
Sun, 23 Jul 2017 14:00:13 +0200 Claus Gittinger #FEATURE by cg
Thu, 20 Jul 2017 12:14:28 +0200 Claus Gittinger #DOCUMENTATION by cg
Thu, 20 Jul 2017 12:05:49 +0200 Claus Gittinger #DOCUMENTATION by cg
Wed, 19 Jul 2017 13:05:28 +0200 Claus Gittinger #QUALITY by cg
Tue, 18 Jul 2017 19:59:19 +0200 Claus Gittinger x
Tue, 18 Jul 2017 15:26:52 +0200 Claus Gittinger class: LimitedPrecisionReal
Tue, 18 Jul 2017 15:26:25 +0200 Claus Gittinger #DOCUMENTATION by cg
Tue, 18 Jul 2017 15:24:48 +0200 Claus Gittinger #DOCUMENTATION by cg
Tue, 18 Jul 2017 15:20:21 +0200 Claus Gittinger #DOCUMENTATION by cg
Tue, 18 Jul 2017 14:34:33 +0200 Claus Gittinger class: LimitedPrecisionReal
Mon, 17 Jul 2017 12:30:54 +0200 Claus Gittinger #REFACTORING by cg
Mon, 17 Jul 2017 12:23:43 +0200 Claus Gittinger #REFACTORING by cg
Mon, 17 Jul 2017 12:23:28 +0200 Claus Gittinger #REFACTORING by cg
Mon, 17 Jul 2017 12:22:12 +0200 Claus Gittinger #REFACTORING by cg
Mon, 17 Jul 2017 12:20:59 +0200 Claus Gittinger #BUGFIX by cg
Sun, 16 Jul 2017 14:40:04 +0200 Claus Gittinger #QUALITY by cg
Sun, 16 Jul 2017 14:04:55 +0200 Claus Gittinger #BUGFIX by cg
Sun, 16 Jul 2017 13:38:25 +0200 Claus Gittinger #DOCUMENTATION by cg
Sun, 16 Jul 2017 12:41:09 +0200 Claus Gittinger #BUGFIX by cg
Sun, 16 Jul 2017 12:41:00 +0200 Claus Gittinger #BUGFIX by cg
Sun, 16 Jul 2017 12:40:34 +0200 Claus Gittinger #FEATURE by cg
Sun, 16 Jul 2017 11:53:26 +0200 Claus Gittinger #REFACTORING by cg
Sun, 16 Jul 2017 11:52:58 +0200 Claus Gittinger #REFACTORING by cg
Sun, 16 Jul 2017 11:52:36 +0200 Claus Gittinger #REFACTORING by cg
Sun, 16 Jul 2017 11:50:52 +0200 Claus Gittinger #REFACTORING by cg
Sun, 16 Jul 2017 11:50:30 +0200 Claus Gittinger #REFACTORING by cg
Sat, 15 Jul 2017 15:28:37 +0200 Claus Gittinger #UI_ENHANCEMENT by cg
Fri, 14 Jul 2017 15:28:58 +0200 Claus Gittinger #UI_ENHANCEMENT by cg
Fri, 14 Jul 2017 12:19:58 +0200 Claus Gittinger #DOCUMENTATION by cg
Thu, 13 Jul 2017 23:33:32 +0200 Claus Gittinger #FEATURE by cg
Thu, 13 Jul 2017 15:02:45 +0200 Claus Gittinger #UI_ENHANCEMENT by cg
Fri, 07 Jul 2017 12:53:06 +0200 Claus Gittinger #UI_ENHANCEMENT by cg
Wed, 05 Jul 2017 10:56:19 +0200 Claus Gittinger #REFACTORING by cg
Wed, 05 Jul 2017 10:54:59 +0200 Claus Gittinger #REFACTORING by cg
Wed, 05 Jul 2017 10:54:48 +0200 Claus Gittinger #REFACTORING by cg
Wed, 05 Jul 2017 10:54:33 +0200 Claus Gittinger #REFACTORING by cg
Wed, 05 Jul 2017 10:44:49 +0200 Claus Gittinger #UI_ENHANCEMENT by cg
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip