mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-07 15:22:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

Author:halw

Browse Source 
Date:2010-05-12T16:10:33.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@591 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2010-05-13 15:16:50 +00:00
parent 233c2b37a7
commit f2c73e7bd8
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
documentation/current/eiffelstudio/eiffelstudio-reference/compiler/syntax-level-variant-settings-version.wiki
View File

@@ -33,7 +33,7 @@ The options are distinguished by how the compiler handles the processing of cert
{| border="1" style="border-collapse: collapse; border-style: solid;"
|+ '''Constructs affected by the ''syntax'' project setting'''
! rowspan="2" style="valign: center;" | Release
! colspan="4" | Option value
! colspan="4" | Setting value
|-
! Obsolete !! Transitional !! Standard !! Provisional
|-

2
documentation/current/method/eiffel-tutorial-et/et-inheritance.wiki
View File

@@ -344,7 +344,7 @@ Some deferred classes describe a structural property, useful to the description
For such classes it is again essential to permit effective features in a deferred class, and to include assertions. For example class <code>COMPARABLE</code> declares <code>infix "<"</code> as deferred, and expresses <code>>, >=</code> and <code><=</code> effectively in terms of it.
{{note|The type <code>like Current</code> will be explained in [[ET: Inheritance#Covariance_and_anchored_declarations|"Covariance and anchored declarations"]] ; you may understand it, in the following class, as equivalent to <code>COMPARABLE</code>. }}
{{note|The type <code>like Current</code> will be explained in [[ET: Inheritance#Covariance, anchored declarations, and "catcalls"|"Covariance, anchored declarations, and "catcalls""]] ; you may understand it, in the following class, as equivalent to <code>COMPARABLE</code>. }}
<code>
note
description: "Objects that can be compared according to a total preorder relation"