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

Author:halw

Browse Source 
Date:2009-07-05T18:34:03.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@250 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2009-07-05 19:44:38 +00:00
parent bc5dd56cda
commit 5ebe407b33
4 changed files with 20 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
documentation/current/method/void-safe-programming-eiffel/converting-existing-software-void-safety/index.wiki
View File

@@ -336,3 +336,6 @@ To support the "empty array" design, <code>segment_start</code>'s postcondition
{{SeeAlso|[[Converting EiffelVision 2 Systems to Void Safety]]}}