Removed unwanted information in package.iron (text remaining from iron testings).

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95098 8089f293-4706-0410-a29e-feb5c42a2edf
Updated documentation for IRON.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95099 8089f293-4706-0410-a29e-feb5c42a2edf
Updated documentation for IRON (cosmetic)


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95100 8089f293-4706-0410-a29e-feb5c42a2edf
Corrected feature comment of `replace_region'.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95101 8089f293-4706-0410-a29e-feb5c42a2edf
Added feature to format one element.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95102 8089f293-4706-0410-a29e-feb5c42a2edf
ESA Update.
Update navbar, fixed URL Eiffel Support API.
Update redirects: submit interactions and new report problem.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95103 8089f293-4706-0410-a29e-feb5c42a2edf
Added messages for adding a missing type to a local declaration list.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95104 8089f293-4706-0410-a29e-feb5c42a2edf
Added handler that applies a fix for a missing type in a local declaration list.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95105 8089f293-4706-0410-a29e-feb5c42a2edf
Added a fix option for a missing type in a local declaration list.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95106 8089f293-4706-0410-a29e-feb5c42a2edf
Added a common parent for fix options that apply to single features.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95107 8089f293-4706-0410-a29e-feb5c42a2edf
Change parent class to be feature-specific rather than class-specific.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95108 8089f293-4706-0410-a29e-feb5c42a2edf
Supported a fix option that suggests a type when it is missing from a local declaration list.
Made GUI part of a fix option more general, so that the same code can be used to fix different feature-level issues.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95109 8089f293-4706-0410-a29e-feb5c42a2edf
Updated official IRON documentation.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95110 8089f293-4706-0410-a29e-feb5c42a2edf
Update IRON doc with local repository section.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95111 8089f293-4706-0410-a29e-feb5c42a2edf
update iron documentation to remove unwanted link.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95112 8089f293-4706-0410-a29e-feb5c42a2edf
By default always execute the post install "compile_library" (i.e same as using flag -s or --setup)
To disable this post install operation, one has to use -S or --ignore_setup

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95113 8089f293-4706-0410-a29e-feb5c42a2edf
Put new line after the result for iron path ...

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95114 8089f293-4706-0410-a29e-feb5c42a2edf
Fixed parsing issue, where text after <code>..</code> could be forgotten.
Fixed new line not expected.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95115 8089f293-4706-0410-a29e-feb5c42a2edf
Updated IRON documentation, mainly cosmetic of the html output.

git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95116 8089f293-4706-0410-a29e-feb5c42a2edf
Avoid using conversion function to go from a _REF to its corresponding basic type, we use `.item' instead.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@95117 8089f293-4706-0410-a29e-feb5c42a2edf