Author:jfiat

Date:2013-06-05T09:15:40.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1227 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
jfiat
2013-06-05 09:15:40 +00:00
parent adaf2857ec
commit b08f50ed69

View File

@@ -9,6 +9,7 @@ If you launch '''ec''' with this option, you will get the interactive version's
(I) Compile : compile or run the system. (I) Compile : compile or run the system.
(F) Feature : feature formats and information. (F) Feature : feature formats and information.
(S) System : Config and cluster details. (S) System : Config and cluster details.
(T) Testing : manage and run tests.
(P) Profile : information about a profiled run. (P) Profile : information about a profiled run.
(D) Documentation: create documents from the system. (D) Documentation: create documents from the system.
@@ -23,4 +24,3 @@ The revision number in the first line may be different in your case to indicate
By typing one of the letters shown in the Main Menu's first group, you can go to one of the Item Menus: [[Class menu|Class]], [[Compile (and run) menu|Compile]], [[Feature menu|Feature]], [[System menu|System]], [[Profile menu|Profile]], and [[Documentation menu|Documentation]]. [[Compile (and run) menu|Compile]] enables you to compile a system and execute the result; the next three enable you to obtain information about your project. [[Profile menu|Profile]] will enable you to exploit profiling information. Finally, [[Documentation menu|Documentation]] will enable you to generate HTML documentation about your project. By typing one of the letters shown in the Main Menu's first group, you can go to one of the Item Menus: [[Class menu|Class]], [[Compile (and run) menu|Compile]], [[Feature menu|Feature]], [[System menu|System]], [[Profile menu|Profile]], and [[Documentation menu|Documentation]]. [[Compile (and run) menu|Compile]] enables you to compile a system and execute the result; the next three enable you to obtain information about your project. [[Profile menu|Profile]] will enable you to exploit profiling information. Finally, [[Documentation menu|Documentation]] will enable you to generate HTML documentation about your project.