Commit Graph

140 Commits

Author SHA1 Message Date
jfiat
9ebbd460bf Fixed wrong class reference in Section 7 for structural property classes.
Author:admin
Date:2013-08-07T13:09:34.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1230 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2013-08-07 13:09:34 +00:00
manus
e50ba6ca01 Updated number of planets to 8 as pluto doesn't count anymore.
Author:manus
Date:2013-08-07T13:04:30.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1229 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2013-08-07 13:04:30 +00:00
alexk
962639e068 Corrected indentation.
Author:alexk
Date:2013-02-22T17:45:56.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1218 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2013-02-22 17:45:56 +00:00
alexk
a034d3524b Corrected verbatim string.
Author:alexk
Date:2013-02-17T16:30:42.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1217 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2013-02-17 16:30:42 +00:00
halw
78723903b0 m
Author:halw
Date:2012-11-30T20:52:59.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1200 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2012-11-30 20:52:59 +00:00
halw
a29c6b03f5 Added "type conversion" to Convertibility section as a commonly used search term.
Author:halw
Date:2012-09-05T14:34:19.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1173 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2012-09-05 14:34:19 +00:00
halw
eb5d774880 Author:halw
Date:2012-08-24T03:19:27.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1170 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2012-08-27 12:18:28 +00:00
halw
4c9cad6262 Added documentation for manifest constants, including verbatim strings.
Author:halw
Date:2012-08-23T21:54:06.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1169 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2012-08-23 21:54:06 +00:00
halw
99f7d1dfe3 Initiative to replace "Eiffel language" and similar with "Eiffel programming language"
Author:halw
Date:2012-08-20T14:05:11.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1134 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2012-08-20 14:05:11 +00:00
halw
b163af4200 Initiative to replace "Eiffel language" and similar with "Eiffel programming language"
Author:halw
Date:2012-08-20T14:03:48.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1133 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2012-08-20 14:03:48 +00:00
halw
0643e8de7d Initiative to replace "Eiffel language" and similar with "Eiffel programming language"
Author:halw
Date:2012-08-20T13:19:03.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1132 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2012-08-20 13:19:03 +00:00
halw
82b45bfd11 Initiative to replace "Eiffel language" and similar with "Eiffel programming language"
Author:halw
Date:2012-08-20T13:16:37.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1131 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2012-08-20 13:16:37 +00:00
halw
10f23ac294 Initiative to replace "Eiffel language" and similar with "Eiffel programming language"
Author:halw
Date:2012-08-20T13:15:19.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1130 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2012-08-20 13:15:19 +00:00
halw
b324762992 Author:jfiat
Date:2012-07-31T10:24:51.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1126 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2012-08-13 01:52:50 +00:00
halw
dd7c292889 Author:halw
Date:2012-07-14T12:44:44.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1124 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2012-07-14 15:50:27 +00:00
halw
db8a13e2cc Removed reference to assignment attempt.
Author:halw
Date:2012-04-22T14:33:07.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1075 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2012-04-22 14:33:07 +00:00
halw
1be4aff563 Replaced assignment attempt with object test.
Author:halw
Date:2012-04-13T13:56:45.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1074 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2012-04-13 13:56:45 +00:00
halw
9bb540cab2 Assignment attempt to object test conversion.
Author:halw
Date:2012-04-11T19:28:52.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1072 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2012-04-11 19:28:52 +00:00
halw
0b1d859156 Added object test paragraph.
Author:halw
Date:2012-04-06T21:11:13.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1062 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2012-04-06 21:11:13 +00:00
halw
aef1696727 Author:halw
Date:2012-04-06T16:25:21.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1060 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2012-04-06 19:23:10 +00:00
halw
62dabe50d0 Fixed bad links to "Instructions" page.
Author:halw
Date:2012-03-25T21:39:16.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1055 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2012-03-25 21:39:16 +00:00
halw
a00e495671 Author:halw
Date:2011-09-19T21:50:16.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@979 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2011-10-05 12:51:15 +00:00
halw
545aa94a65 Author:jfiat
Date:2011-09-19T06:40:59.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@978 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2011-09-19 16:21:04 +00:00
halw
034b4b45ed Author:halw
Date:2011-09-19T03:37:05.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@977 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2011-09-19 03:57:52 +00:00
halw
6fc9a28f22 Author:halw
Date:2011-09-17T23:25:22.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@976 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2011-09-17 23:25:22 +00:00
halw
2930e4f44b Author:halw
Date:2011-09-17T02:24:59.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@975 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2011-09-17 02:24:59 +00:00
halw
f8ace68d28 Author:halw
Date:2011-09-16T22:16:10.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@974 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2011-09-16 22:16:28 +00:00
halw
cd2f778fa5 Added section on assignment and attachment
Author:halw
Date:2011-09-16T21:27:55.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@973 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2011-09-16 21:27:55 +00:00
halw
39c34b0898 Added definition template for "conformance".
Author:halw
Date:2011-09-16T14:15:29.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@972 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2011-09-16 14:15:29 +00:00
pgummer
07d1d9d01b Author:halw
Date:2011-02-01T19:30:31.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@746 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2011-02-01 22:40:14 +00:00
manus
e547255f5d Author:halw
Date:2011-02-01T15:48:09.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@745 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2011-02-01 17:07:36 +00:00
halw
ef1441a95e Author:halw
Date:2010-12-20T21:11:38.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@719 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2010-12-21 17:10:14 +00:00
halw
57080e5f8b Author:jfiat
Date:2010-11-04T09:27:46.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@696 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2010-11-05 21:31:33 +00:00
halw
ce016133bf Added parent qualification to Precursor section.
Author:halw
Date:2010-10-02T15:34:50.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@684 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2010-10-02 15:34:50 +00:00
halw
85c4be6cab m
Author:halw
Date:2010-09-30T18:51:11.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@683 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2010-09-30 18:51:11 +00:00
halw
c9eddf9268 Clarification of Note on implementation of non-conforming inheritance
Author:halw
Date:2010-09-29T14:39:30.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@682 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2010-09-29 14:39:30 +00:00
halw
dd92f1a579 m
Author:halw
Date:2010-09-27T15:54:10.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@681 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2010-09-27 15:54:10 +00:00
halw
2f7c8dd526 Author:halw
Date:2010-09-21T15:53:09.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@680 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2010-09-27 15:48:56 +00:00
halw
699b1dd852 Author:halw
Date:2010-09-02T21:47:38.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@672 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2010-09-08 02:40:08 +00:00
halw
fae6269779 Added section on non-object calls.
Author:halw
Date:2010-08-28T16:19:32.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@668 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2010-08-28 16:19:32 +00:00
halw
66cc421592 Clarification and readability changes to section on tilde (~) operator.
Author:halw
Date:2010-08-28T13:03:16.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@667 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2010-08-28 13:03:16 +00:00
halw
4065b759b0 Added section on inline agents
Author:halw
Date:2010-08-16T14:32:09.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@658 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2010-08-16 14:37:40 +00:00
halw
2fdba69432 Correction and clarification of open targets and open arguments.
Author:halw
Date:2010-08-16T12:42:22.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@657 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2010-08-16 12:42:22 +00:00
halw
a6fb8e275a Removed "once" section. It now has its own page.
Author:halw
Date:2010-08-06T12:30:12.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@650 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2010-08-06 12:30:12 +00:00
halw
614d242c76 Created to give "once" its own page.
Author:halw
Date:2010-08-06T12:27:50.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@649 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2010-08-06 12:27:50 +00:00
halw
1526a4ed99 Additions to "Check" from feedback.
Author:halw
Date:2010-05-27T14:13:30.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@620 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2010-05-27 14:13:30 +00:00
halw
ed8aed5b0c Added "check Assertion then Compound end" variant.
Author:halw
Date:2010-05-26T18:53:40.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@618 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2010-05-26 18:53:40 +00:00
halw
f5dc1858e9 Updated for V6.6
Author:halw
Date:2010-05-25T13:14:44.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@612 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2010-05-25 13:14:44 +00:00
halw
855d6ef7e9 Updated for V6.6
Author:halw
Date:2010-05-25T12:59:12.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@611 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2010-05-25 12:59:12 +00:00
halw
516d017b7b Author:halw
Date:2010-05-14T19:32:34.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@596 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
2010-05-14 19:32:34 +00:00