mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-07 23:32:42 +01:00
Code Issues Packages Projects Releases Wiki Activity
1,083 Commits 1 Branch 0 Tags
d2ede66f13284ad2f29f8e6736f375dbbbed6c4d
Commit Graph

1083 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
halw
345d316542 Author:halw 
Date:2011-10-06T01:39:13.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@983 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-10-06 01:39:13 +00:00
halw
42f39b7208 Author:halw 
Date:2011-10-05T20:34:16.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@982 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-10-05 20:34:16 +00:00
halw
23d4017d5b Expanded table entry for "-filter". 
Author:halw
Date:2011-10-05T15:10:54.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@981 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-10-05 15:10:54 +00:00
halw
d835275c4e Added ec -help display. 
Author:halw
Date:2011-10-05T13:07:09.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@980 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-10-05 13:07:09 +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
halw
f6b85b8086 Added {DB_SELECTION}.terminate to example code 
Author:halw
Date:2011-09-06T21:31:58.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@971 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-09-06 21:31:58 +00:00
halw
7c33e12800 m 
Author:halw
Date:2011-09-04T20:42:00.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@970 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-09-04 20:42:00 +00:00
halw
96cdf389ca Removed "lock" terminology in favor of exclusive access. For example, "lock passing" is now "access passing". 
Author:halw
Date:2011-09-04T18:15:35.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@969 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-09-04 18:15:35 +00:00
halw
513382f33b m 
Author:halw
Date:2011-09-04T18:04:13.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@968 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-09-04 18:04:13 +00:00
halw
762f9c35e3 Added note to explain relationship between choice of precompiled libraries and project Concurrency setting. 
Author:halw
Date:2011-09-04T16:57:59.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@967 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-09-04 16:57:59 +00:00
halw
7be866f505 m 
Author:halw
Date:2011-09-03T22:26:48.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@966 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-09-03 22:26:48 +00:00
halw
2517c641a9 m 
Author:halw
Date:2011-09-03T19:57:39.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@965 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-09-03 19:57:39 +00:00
halw
8f0dbc15cd m 
Author:halw
Date:2011-09-03T16:10:01.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@964 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-09-03 16:10:01 +00:00
halw
432b36a128 Added info about keyword/non-keyword distinction. Made reference to "differences" page a "note". 
Author:halw
Date:2011-08-30T21:17:49.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@963 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-30 21:17:49 +00:00
halw
906545894a Author:halw 
Date:2011-08-30T17:32:51.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@962 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-30 17:34:05 +00:00
halw
ad1adba33f Author:halw 
Date:2011-08-28T20:59:18.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@961 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-29 16:57:43 +00:00
halw
09bd4e8ad1 Added instructions for going from a default "new project wizard" project to a SCOOP-enabled project. 
Author:halw
Date:2011-08-28T20:55:08.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@960 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-28 20:55:08 +00:00
halw
030ae36942 Add link to "differences" page. 
Author:halw
Date:2011-08-28T16:34:09.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@959 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-28 16:34:09 +00:00
halw
14386d4c9d Removed redundant list. Linked to list in Quick reference. 
Author:halw
Date:2011-08-28T16:16:07.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@958 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-28 16:16:07 +00:00
halw
0663ca0395 Author:halw 
Date:2011-08-18T21:09:48.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@957 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-18 21:11:08 +00:00
halw
30f1a67a1f Altered image links to use same screenshots as Guided Tour page for "Producing and Exporting Documentation". 
Author:halw
Date:2011-08-18T20:01:28.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@956 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-18 20:01:28 +00:00
halw
8332999438 Updated text for "Generating metatags..." 
Author:halw
Date:2011-08-18T19:56:19.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@955 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-18 19:56:19 +00:00
halw
711915589c Author:Peter Gummer 
Date:2011-08-14T10:58:06.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@954 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-18 19:47:24 +00:00
halw
4f65ffe92e Author:halw 
Date:2011-08-11T22:04:43.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@953 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-11 22:06:58 +00:00
halw
e54fed5946 Author:halw 
Date:2011-08-11T22:00:11.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@952 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-11 22:00:30 +00:00
halw
0daa950721 m 
Author:halw
Date:2011-08-11T20:07:57.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@951 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-11 20:07:57 +00:00
halw
38e86371fe Author:halw 
Date:2011-08-11T20:01:36.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@950 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-11 20:07:14 +00:00
halw
42c44fb408 Author:halw 
Date:2011-08-09T19:02:25.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@949 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-08-09 21:33:22 +00:00
halw
f9a1d2a6b6 Correction to definition of controlled/uncontrolled assertion clauses. 
Author:halw
Date:2011-07-30T23:19:50.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@948 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-30 23:19:50 +00:00
halw
edfc6148f1 Added Info template in Class Invariants section allowing the possibility of using inline agents to effect separate calls in invariants. 
Author:halw
Date:2011-07-26T20:19:19.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@947 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-26 20:19:19 +00:00
halw
1f050a1fc0 Removed Beta and ReviewRequested templates. 
Author:halw
Date:2011-07-23T15:02:44.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@946 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-23 15:02:44 +00:00
halw
c3420c0f79 Author:halw 
Date:2011-07-18T18:32:24.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@945 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-21 16:35:54 +00:00
halw
38835bf7b3 m 
Author:halw
Date:2011-07-18T17:52:31.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@944 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-18 17:52:31 +00:00
halw
354e365bc9 Added note about iteration form of loop. 
Author:halw
Date:2011-07-18T13:50:41.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@943 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-18 13:50:41 +00:00
halw
3bd04c51b4 Added "Workarounds" section and "Print a separate STRING". 
Author:halw
Date:2011-07-18T13:30:39.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@942 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-18 13:30:39 +00:00
halw
c5c596bf43 Added more detail on controlled/uncontrolled assertions. 
Author:halw
Date:2011-07-15T22:02:00.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@941 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-15 22:02:00 +00:00
halw
f2c443d15e m formatting. 
Author:halw
Date:2011-07-14T22:56:22.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@940 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-14 22:56:22 +00:00
halw
181463e881 Added "uncontrolled" to controlled expression definition. 
Author:halw
Date:2011-07-14T22:44:39.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@939 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-14 22:44:39 +00:00
halw
e88ffebbeb Added "uncontrolled" to explanation of preconditions. 
Author:halw
Date:2011-07-14T22:41:59.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@938 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-14 22:41:59 +00:00
halw
e5cad2d741 Added uncontrolled precondition clauses as wait conditions, plus ref to producer-consumer example. 
Author:halw
Date:2011-07-14T18:11:44.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@937 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-14 18:11:44 +00:00
halw
1392976631 Added section for "wait condition". 
Author:halw
Date:2011-07-14T18:01:53.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@936 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-14 18:01:53 +00:00
halw
3baa8de554 Added subheader for separate argument rule. 
Author:halw
Date:2011-07-14T17:27:05.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@935 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-14 17:27:05 +00:00
halw
05828911b1 Tweak definition of Controlled assertion. 
Author:halw
Date:2011-07-13T21:46:56.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@934 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
 2011-07-13 21:46:56 +00:00