User contributions
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 02:41, 20 May 2013 (diff | hist) . . (+30) . . m Covariance-aware assertions (syntax updated) (current)
- 02:27, 20 May 2013 (diff | hist) . . (+46) . . m Conversion rules (naming convention) (current)
- 02:13, 20 May 2013 (diff | hist) . . (+1) . . m Default and explicit variance (→Limit change)
- 02:12, 20 May 2013 (diff | hist) . . (+615) . . Default and explicit variance (→General discussions)
- 10:28, 18 May 2013 (diff | hist) . . (+75) . . m Default and explicit variance (→Right abstraction)
- 10:26, 18 May 2013 (diff | hist) . . (+89) . . m Default and explicit variance (precisions)
- 10:07, 18 May 2013 (diff | hist) . . (0) . . m Default and explicit variance (listing)
- 10:07, 18 May 2013 (diff | hist) . . (+21) . . Default and explicit variance (Eiffel Base 2 naming)
- 08:23, 17 May 2013 (diff | hist) . . (0) . . m Default and explicit variance (Correction)
- 05:35, 11 May 2013 (diff | hist) . . (-215) . . m Default and explicit variance (Remove contravariant possibility for fetaure argument redefinition)
- 04:59, 11 May 2013 (diff | hist) . . (-8) . . m Default and explicit variance (Undo revision 14816 by Conaclos (Talk))
- 04:58, 11 May 2013 (diff | hist) . . (+8) . . m Default and explicit variance (Explict declaration of variant generic)
- 04:56, 11 May 2013 (diff | hist) . . (+37) . . m Default and explicit variance (Add the view section)
- 04:53, 11 May 2013 (diff | hist) . . (+6) . . m Default and explicit variance (Style correction)
- 04:40, 11 May 2013 (diff | hist) . . (+100) . . m Default and explicit variance (Little precision)
- 04:36, 11 May 2013 (diff | hist) . . (-759) . . Default and explicit variance (General Refactoring and little change for simplicity)
- 04:55, 10 May 2013 (diff | hist) . . (+181) . . m Default and explicit variance (Add precision)
- 04:11, 10 May 2013 (diff | hist) . . (-7) . . m Default and explicit variance (→Generic conformance)
- 04:03, 10 May 2013 (diff | hist) . . (+8) . . m Default and explicit variance (→Generic conformance)
- 04:00, 10 May 2013 (diff | hist) . . (-24) . . m Default and explicit variance (→Generic conformance)
- 03:58, 10 May 2013 (diff | hist) . . (-1) . . m Default and explicit variance (→Ensure the generic variance)
- 03:53, 10 May 2013 (diff | hist) . . (+1) . . m Default and explicit variance (→Conclusion)
- 03:52, 10 May 2013 (diff | hist) . . (0) . . m Default and explicit variance (→Sub-conclusion)
- 01:51, 10 May 2013 (diff | hist) . . (+50) . . m Comparison of catcall solutions (Precision for agent conformance)
- 01:49, 10 May 2013 (diff | hist) . . (-128) . . m Default and explicit variance (Simpler sub-conclusion 2)
- 01:47, 10 May 2013 (diff | hist) . . (+1) . . m Default and explicit variance (Adjective correction)
- 01:43, 10 May 2013 (diff | hist) . . (+17) . . m Default and explicit variance (Eiffel terminology correction)
- 01:35, 10 May 2013 (diff | hist) . . (-1) . . m Default and explicit variance (Eiffel terminology correction)
- 01:21, 10 May 2013 (diff | hist) . . (+21) . . m Default and explicit variance (Better terminology)
- 01:16, 10 May 2013 (diff | hist) . . (-43) . . m Default and explicit variance (English correction)
- 01:14, 10 May 2013 (diff | hist) . . (-1) . . m Default and explicit variance (Better terminology)
- 01:07, 10 May 2013 (diff | hist) . . (-30) . . m Default and explicit variance (Better terminology)
- 01:03, 10 May 2013 (diff | hist) . . (+1,973) . . m Default and explicit variance (New structure and variant typing specification)
- 15:12, 9 May 2013 (diff | hist) . . (0) . . m Default and explicit variance (English correction)
- 15:10, 9 May 2013 (diff | hist) . . (-1) . . m Default and explicit variance (English corrections)
- 15:08, 9 May 2013 (diff | hist) . . (+792) . . m Default and explicit variance (Greater flexibility solutions)
- 14:26, 9 May 2013 (diff | hist) . . (+69) . . m Comparison of catcall solutions (Add precision)
- 14:22, 9 May 2013 (diff | hist) . . (-20) . . m Default and explicit variance (Better name)
- 14:20, 9 May 2013 (diff | hist) . . (+10) . . m Default and explicit variance (English corrections)
- 13:45, 9 May 2013 (diff | hist) . . (+6) . . m Default and explicit variance (Correct style)
- 13:44, 9 May 2013 (diff | hist) . . (-34) . . m Default and explicit variance (Better name)
- 13:42, 9 May 2013 (diff | hist) . . (+253) . . m Default and explicit variance (internal Links)
- 13:36, 9 May 2013 (diff | hist) . . (+551) . . m Default and explicit variance (explicit variant generic)
- 10:23, 9 May 2013 (diff | hist) . . (-11) . . m Default and explicit variance (remove ambigious negation)
- 10:22, 9 May 2013 (diff | hist) . . (+133) . . m Default and explicit variance (better conclusion)
- 10:17, 9 May 2013 (diff | hist) . . (+378) . . m Default and explicit variance (implementation ideas)
- 10:08, 9 May 2013 (diff | hist) . . (+113) . . m Default and explicit variance (Precision 2)
- 09:50, 9 May 2013 (diff | hist) . . (-51) . . m Default and explicit variance (Remove obsolete clause)
- 09:49, 9 May 2013 (diff | hist) . . (+60) . . m Default and explicit variance (Corrections)
- 09:47, 9 May 2013 (diff | hist) . . (+18) . . m Default and explicit variance (Style)
- 09:46, 9 May 2013 (diff | hist) . . (+247) . . m Default and explicit variance (Add fine rule)
- 09:39, 9 May 2013 (diff | hist) . . (+522) . . m Default and explicit variance (Add agent example)
- 09:37, 9 May 2013 (diff | hist) . . (+72) . . m Default and explicit variance (Add contravariant example)
- 09:30, 9 May 2013 (diff | hist) . . (+162) . . m Default and explicit variance (Improvments)
- 03:52, 9 May 2013 (diff | hist) . . (+4) . . m Default and explicit variance (tag forgotten)
- 03:51, 9 May 2013 (diff | hist) . . (+47) . . m Default and explicit variance (Agent discussion)
- 03:12, 9 May 2013 (diff | hist) . . (+168) . . m Default and explicit variance (Better conclusion)
- 03:05, 9 May 2013 (diff | hist) . . (+62) . . m Default and explicit variance (Global improvements)
- 02:25, 9 May 2013 (diff | hist) . . (+176) . . m Default and explicit variance (nonconforming inheritance rules)
- 17:13, 8 May 2013 (diff | hist) . . (-364) . . m Enums in Eiffel (Syntax updated) (current)
- 12:27, 8 May 2013 (diff | hist) . . (-43) . . m Default and explicit variance (Minor correction)
- 12:01, 8 May 2013 (diff | hist) . . (+120) . . m Objectless Calls (Syntax update) (current)
- 11:52, 8 May 2013 (diff | hist) . . (+8) . . m Multiple constraints (Syntax update) (current)
- 11:48, 8 May 2013 (diff | hist) . . (+76) . . m Default and explicit variance (add reference)
- 09:08, 8 May 2013 (diff | hist) . . (+767) . . m Default and explicit variance (Export status restrictions)
- 08:59, 8 May 2013 (diff | hist) . . (-40) . . m Usage-site variance (Syntax update and correction of infinite loop) (current)
- 08:57, 8 May 2013 (diff | hist) . . (+599) . . Comparison of catcall solutions (Add a comparison)
- 08:39, 8 May 2013 (diff | hist) . . (+172) . . Comparison of catcall solutions (adding Default and explicit variance as general solution)
- 08:35, 8 May 2013 (diff | hist) . . (+5,323) . . N Default and explicit variance (First commit)
- 13:37, 7 May 2013 (diff | hist) . . (-11) . . m Detachable types (remove redundant informations for object test) (current)
- 13:19, 7 May 2013 (diff | hist) . . (-10) . . m Covariance through renaming (Correction) (current)
- 09:49, 7 May 2013 (diff | hist) . . (+62) . . m New CAT call (syntax and style update) (current)
- 03:53, 7 May 2013 (diff | hist) . . (-31) . . Covariance through renaming (general syntax and pattern update)
- 03:46, 7 May 2013 (diff | hist) . . (-98) . . Covariance through renaming (Syntax and pattern update)
- 12:38, 6 May 2013 (diff | hist) . . (+229) . . m EiffelStudio Wish List (Explicit assigner command specification - Correction 2)
- 11:03, 6 May 2013 (diff | hist) . . (+28) . . m EiffelStudio Wish List (Explicit assigner command specification - Correction)
- 10:46, 6 May 2013 (diff | hist) . . (-2) . . m EiffelStudio Wish List (Improve structure)
- 10:44, 6 May 2013 (diff | hist) . . (+805) . . EiffelStudio Wish List (Explicit assigner command specification)
- 04:15, 4 May 2013 (diff | hist) . . (+17) . . m EiffelStudio Wish List (syntax correction)
- 04:14, 4 May 2013 (diff | hist) . . (+226) . . EiffelStudio Wish List ((proposition) remove only postcondition)
- 13:34, 3 May 2013 (diff | hist) . . (-13) . . m EiffelStudio Wish List (Update syntax and style for the first proposition)
- 13:31, 3 May 2013 (diff | hist) . . (+423) . . m EiffelStudio Wish List ((Proposition) Empty braces for unexported features)
- 13:43, 26 April 2013 (diff | hist) . . (+91) . . m INTEGER (interface) (syntax and feature names updated) (current)
- 13:28, 26 April 2013 (diff | hist) . . (-4) . . m NUMERIC (interface) (syntax updated) (current)
- 13:27, 26 April 2013 (diff | hist) . . (-7) . . m INTEGER (interface) (syntax updated)
- 13:18, 26 April 2013 (diff | hist) . . (-12) . . m Compilation Without Configuration (syntax updated) (current)
- 12:11, 26 April 2013 (diff | hist) . . (-23) . . m EiffelStudio Wish List (syntax updated)
- 12:02, 26 April 2013 (diff | hist) . . (-36) . . m EiffelStudio Wish List (syntax updated)
- 12:01, 26 April 2013 (diff | hist) . . (-576) . . m EiffelStudio Wish List (Remove my proposition a cause of contrversy.)
- 09:03, 25 March 2013 (diff | hist) . . (+139) . . m EiffelStudio Wish List (Customized creation procedure for expanded type)
- 08:07, 25 March 2013 (diff | hist) . . (-4) . . m Detachable types (readability 2)
- 08:06, 25 March 2013 (diff | hist) . . (+15) . . m Detachable types (readability)
- 07:56, 25 March 2013 (diff | hist) . . (+20) . . m Detachable types (syntax update)
- 06:59, 23 March 2013 (diff | hist) . . (-3) . . m Compiling Hello World (syntax update) (current)
- 07:42, 22 February 2013 (diff | hist) . . (+67) . . EiffelStudio Wish List (TUPLE iterator)
- 08:51, 5 February 2013 (diff | hist) . . (+29) . . m EiffelStudio Wish List (Explit mode 2)
- 08:49, 5 February 2013 (diff | hist) . . (+547) . . EiffelStudio Wish List (Explicit mode)
- 08:22, 5 February 2013 (diff | hist) . . (+3) . . m EiffelStudio Wish List (Syntax correction)
- 08:19, 5 February 2013 (diff | hist) . . (+572) . . EiffelStudio Wish List (Simple conversion declaration)
- 08:06, 5 February 2013 (diff | hist) . . (+213) . . m EiffelStudio Wish List (across optional as syntax)
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)