diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/major-changes-between-ise-eiffel-73-and-ise-eiffel-1311.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/major-changes-between-ise-eiffel-73-and-ise-eiffel-1311.wiki
new file mode 100644
index 00000000..13201c41
--- /dev/null
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/major-changes-between-ise-eiffel-73-and-ise-eiffel-1311.wiki
@@ -0,0 +1,39 @@
+[[Property:title|Major changes between ISE Eiffel 7.3 and ISE Eiffel 13.11]]
+[[Property:link_title|13.11]]
+[[Property:weight|9]]
+[[Property:uuid|e32947f4-928c-816e-1dbd-4aa53030e8c7]]
+==What's new==
+* Supported parenthesis aliases that allow treating feature calls with arguments on entities that take no arguments to look as regular feature calls. This is mostly useful to make calls on agent objects, e.g. instead of my_agent.call (x) it may be possible to use my_agent (x). Unlike bracket alias, parenthesis alias can be used with both queries and commands, but as with bracket alias, the corresponding feature should have at least one argument.
+* Supported new rules to handle actual arguments in a feature call that wrap last arguments into a tuple when:
+** the number of actual arguments exceeds the number of formal arguments
+** the number of actual arguments is equal to the number of formal arguments, but the last actual argument is not type-compatible with the last formal argument unless wrapped in a tuple.
+: This is mostly useful to make calls on agent objects avoiding explicit manifest tuple notation. For example, my_agent.call ([123, "abc", value]) can be written as my_agent.call (123, "abc", value), or, when combined with parenthesis alias, as my_agent (123, "abc", value).
+* Supported conditional expressions that allow using different expressions to compute a value depending on some condition: if x < y and x < z then x elseif y < z then y else z end.
+* ECF redirection support to provide a way to create redirection from a .ECF to another.
+
+==Improvements==
+* Added support for Sun C compiler on Linux for RHEL, OL and Ubuntu 8.04. Other Linux distributions are not supported.
+* Speed up SCOOP by an average of 35% up to 500% on some benchmarks.
+
+==Changes==
+
+==Bug fixes==
+
+===Language issues===
+* Fixed bug#18643 (test#attach107, test#attach102) - Fixed a bug that may lead to unreported VEVI errors for attributes not properly set by a creation procedure when compiled in complete void safety mode (rev#92835).
+* Fixed bug#18266 (test#svalid031) - Fixed a bug that caused reporting a non-existent error for a renamed feature with a bracket alias.
+* Fixed bug#18282 (test#multicon062) - Fixed a bug that caused incorrect error report for features with a bracket alias specified in multiple formal generic constraints.
+
+===Compiler issues===
+* Fixed a crash when converting old Ace files to new ECF format. (bug#18642 and bug#18628, rev#92820)
+* Fixed bug#15591 (test#attach106), bug#17302 (test#valid270) - Fixed an erroneous reporting of VUOT for object test locals when right-hand side of a binary expression using these locals has a validity error (rev#92769).
+* Fixed test#attach108 - Corrected computation of scopes of read-only variables used in implicative expressions with conjuctions.
+
+===SCOOP issues===
+* Fixed a crash when a separate detachable argument is Void (test#scoop035),
+
+===Runtime/code generation issues===
+
+===Store/Retrieve issues===
+
+
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/debugger/debugging-limitations.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/debugger/debugging-limitations.wiki
index 6cafe870..4679ca00 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/debugger/debugging-limitations.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/debugger/debugging-limitations.wiki
@@ -1,9 +1,22 @@
[[Property:title|Debugging limitations]]
[[Property:weight|-2]]
[[Property:uuid|4377d765-8664-ee0c-5d5b-e42fd7d172c3]]
-Check the following page for the EiffelStudio's limitation regarding the Eiffel Debugger.
+==General limitations==
+* Watch expression: Agents are not supported (for instance "agent my_function" is not supported").
+* You cannot yet create an instance of SPECIAL.
+* The debugger is not very helpful when the execution is stopped inside an invariant.
+* Wrong assertion tag shown in debugger for precondition violation if violated during an exception rescue, indeed the tag remains the one from the exception
+* If you use the "Disable Assertion Handling" functionality when the execution is stopped in a rescue, the effect might be cancelled as soon as the execution exits the rescue's associated feature.
+* Evaluating an expression with a catcall might crash the debugger
-The latest version has the same limitations as [[Debugging limitations - 6.4, 6.5]]
+==Limitations or known bugs for the Classic debugger==
+* Evaluating Precursor will produce the current feature's Result (not the precursor)
+* If you use any of the previous non supported expressions in a breakpoint condition, since the evaluation is failing the condition will always return True. In such case the debugger will stop.
+
+==Limitations or known bugs for the .Net debugger==
+* When stepping through disabled assertions or disabled debug clauses, the debugger may show incorrect current line.
+* When stepping through an inspect code, the debugger may show incorrect current line (especially if the inspect is not ordered)
+* Under dotnet v2.0, the debugger may have difficulties to fetch the stack values, especially during first chance exception events
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-5-release-notes/release-notes-eiffelstudio-56.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-5-release-notes/release-notes-eiffelstudio-56.wiki
index f5c8e49a..01ea3e68 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-5-release-notes/release-notes-eiffelstudio-56.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-5-release-notes/release-notes-eiffelstudio-56.wiki
@@ -36,7 +36,33 @@
* Click [[Major changes between ISE Eiffel 5.5 and ISE Eiffel 5.6|here]] for the compiler release notes.
==Debugger==
-* Click [[Release notes for EiffelStudio 5.6 related to the debugger|here]] for the EiffelStudio's debugger release notes.
+===Graphical environment===
+* The stack, objects and evaluator tools now use a grid display instead of simply a tree view
+* A mixed multicolumn list and tree view display which display item only when shown, this make debugger much faster to display values
+* The evaluator tool renamed as "watch tool" has more features than previously, such as browsing the objects value directly in the tool, moving up and down the expression, dopped objects as them self, ....
+* The new watch tool can be used instead of the objects view to display current, and dropped objects (and of course expressions).
+* You can close and create new watch tools
+* Each tool has its hexdecimal/decimal format switch command.
+* Most of the debugging tools are now inside a notebook, and are dockable outside this notebook
+* Various minor bug fixes and improvements regarding the interface
+
+===Debugger engine===
+* Fixed a memory leak with the `estudio' process when conditional breakpoints are enabled.
+* Improved speed of execution when conditional breakpoints are enabled (about 20 times faster).
+* Fixed a bug where after killing a debugged process, the debugger could not be launched anymore.
+* Improved speed regarding STRING and SPECIAL manipulation in the debugger
+* Dotnet: fixed memory/handle leak when debugging dotnet system
+* Dotnet: fixed memory corruption while debugging dotnet system
+* Dotnet: EiffelStudio do not hang (100% CPU) anymore during dotnet debugging.
+* Dotnet: make EiffelStudio much more stable while debugging dotnet system.
+* Dotnet: fixed various issues which occurred on killing debugged application
+* Dotnet: improved support for dotnet v2.0.x debugging
+* Dotnet: fixed expression evaluation on pure dotnet object
+* Evaluation: fixed remaining error status on expression (sometimes when an expression has an error, changing the expression to a valid expression was not reseting the error status)
+* Evaluation: improved error message reporting for expression evaluation
+* Evaluation: improved the stability and the result validity of expression
+* Breakpoint: fixed some issues related to setting, removing breakpoints, and remaining hidden breakpoints
+* Breakpoint: now the debugger stops on a condition breakpoint when the condition's result is True, but also if the expression is not supported, or if it raises an exception
==EiffelBuild==
* Click [[EiffelBuild Version History|here]] for the EiffelBuild release notes.
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-5-release-notes/release-notes-eiffelstudio-57.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-5-release-notes/release-notes-eiffelstudio-57.wiki
index f101105b..d532594e 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-5-release-notes/release-notes-eiffelstudio-57.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-5-release-notes/release-notes-eiffelstudio-57.wiki
@@ -48,7 +48,20 @@
* Click [[Major changes between ISE Eiffel 5.6 and ISE Eiffel 5.7|here]] for the compiler release notes.
==Debugger==
-* Click [[Release notes for EiffelStudio 5.7 related to the debugger|here]] for the EiffelStudio's debugger release notes.
+===Graphical environment===
+* More flexibility has been added for the layout in the debugging tool. One can merge the Current objects with the locals and arguments.
+* The objects and watches tools restore the tree structure when stepping, and highlight value differences.
+* New thread tool that let you switch from one thread to another while debugging.
+* New Exception handling tool that let you ignore or catch certain kind of exceptions.
+* New breakpoint tool to see at glance the status of all your breakpoints.
+* Added ability to see the routine that defines an agent object (classic only for now).
+
+===Debugger engine===
+* One can debug multithreaded application.
+* One can ignore certain kind of exceptions.
+* One can disable Assertion checking during debugging (only classic system for now).
+* Dotnet debugger is now much more stable for dotnet 2.0
+* Improved expression evaluation error reporting system to provide more information
==EiffelBuild==
* Click [[EiffelBuild Version History|here]] for the EiffelBuild release notes.
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-60.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-60.wiki
index e37d8c00..4aa44739 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-60.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-60.wiki
@@ -36,7 +36,29 @@
* Click [[Major changes between ISE Eiffel 5.7 and ISE Eiffel 6.0|here]] for the compiler release notes.
==Debugger==
-* Click [[Release notes for EiffelStudio 6.0 related to the debugger|here]] for the EiffelStudio's debugger release notes.
+===Graphical environment===
+* Added auto expressions on watch tools, it suffices to toggle the auto button in any of the watch tool's toolbar.
+* Enhanced breakpoint mechanism by adding print message, hit count (condition), and provide '''Is True''' and '''Has Changed''' condition.
+* Improved the debugging options dialog with the ability to define the environment variables passed down to the debugged application.
+* Added some configuration of the Objects tool grid. It is now possible to change the order of 'Current, arguments, locals, ...'.
+* Added start workbench and finalized system on Debugging option dialogs.
+* Added a new way to look at objects with the object viewer.
+* Added a rescue clause indicator in call stack tool's grid.
+* One can decide to stay in debugging mode even when compiling.
+* Added possibility to continue on conditional breakpoint evaluation failure.
+* Removed useless ''Attributes'' row in debugger's objects tree.
+* The once routines node now shows states of once procedures in addition of the state of once functions.
+* Improved cosmetic of debugger's exception handling dialog.
+
+===Debugger engine===
+* Added support for creation of instance of class (including generic).
+* Added support for manifest TUPLE, and manifest ARRAY.
+* Added support for static routine evaluation.
+* Added ability to disable/restore assertion checking during debugging.
+* Added evaluation of instructions with the debugger (i.e: procedure call).
+* Fixed bug#12934 where the debugger would cause a memory corruption in a running multithreaded program.
+* Fixed bug#12750 where the stack overflow detection was not working on Linux.
+* Fixed bug#11755 where empty strings with a large capacity were slow to be displayed.
==EiffelBuild==
* Click [[EiffelBuild Version History|here]] for the EiffelBuild release notes.
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-61.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-61.wiki
index b5ff583b..e9e48c8f 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-61.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-61.wiki
@@ -28,7 +28,15 @@
* Click [[Major changes between ISE Eiffel 6.0 and ISE Eiffel 6.1|here]] for the compiler release notes.
==Debugger==
-* Click [[Release notes for EiffelStudio 6.1 related to the debugger|here]] for the EiffelStudio debugger release notes.
+===Graphical environment===
+* Added debuggee object storage. This allow to store and retrieve debuggee's object.
+* Added basic execution replay mechanism. This allows to record the execution, and replay the recording in EiffelStudio and see/browse the recorded values.
+* Rename "debugging" into "execution" in EiffelStudio's message and title.
+* Better dialog to change the layout of the Objects tool grid. It is possible to easily change the order of 'Current, arguments, locals, ...'.
+
+===Debugger engine===
+* Added support for creation of SPECIAL instances.
+* Added support for creation of TYPE instances. (i.e: {FOO} will return a instance of TYPE [FOO])
==EiffelBuild==
* Click [[EiffelBuild Version History|here]] for the EiffelBuild release notes.
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-62.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-62.wiki
index 8e493188..ff4e577e 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-62.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-62.wiki
@@ -27,7 +27,18 @@
* Click [[Major changes between ISE Eiffel 6.1 and ISE Eiffel 6.2|here]] for the compiler release notes.
==Debugger==
-* Click [[Release notes for EiffelStudio 6.2 related to the debugger|here]] for the EiffelStudio debugger release notes.
+===Graphical environment===
+* New breakpoint editor, which centralizes in a unique dialog the parameters of the breakpoint.
+* Added tag support for breakpoints.
+* Added new "When hits.." actions (such as enable/disable breakpoints, start/stop execution recording, and others...).
+* Better breakpoints tool, to see, sort or filter the breakpoints
+* Enhanced execution record and replay mechanism. This allows to record the execution, and replay the recording in EiffelStudio and see/browse the recorded values, and the calls executed.
+* Better dialog to change the layout of the Objects tool grid. It is possible to easily change the order of 'Current, arguments, locals, ...'.
+* Added a toggle button, to ignore or not the breakpoints.
+* Added dropdown menu on the "[Start]" button to have quicker access to useful features.
+
+===Debugger engine===
+* Watch tool: added support for "create .." expression.
==EiffelBuild==
* Click [[EiffelBuild Version History|here]] for the EiffelBuild release notes.
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-63.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-63.wiki
index a26d12f8..94e1bd01 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-63.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-63.wiki
@@ -31,7 +31,18 @@
* Click [[Major changes between ISE Eiffel 6.2 and ISE Eiffel 6.3|here]] for the compiler release notes.
==Debugger==
-* Click [[Release notes for EiffelStudio 6.3 related to the debugger|here]] for the EiffelStudio debugger release notes.
+===Graphical environment===
+*Watch tool:
+** Changed the shortcut to move up/down expression (Shift+Alt+Up|Down). This can be changed in preferences.
+** Multiple expressions can be moved up/down at the same time (instead of just one)
+** Added export to/import from a file the expressions' text
+** Pasting multi-lines text into the "..." expression cell, will create one expression per line.
+*Interface: various bug fixes
+
+===Debugger engine===
+* added support for self initialized attributes
+* fixed major issue of the dotnet debugger on Win32 (and potentially on win64 too)
+* fixed retrieving of stack value when invariant is violated (now a _invariant stack will appear in the call stack to help debugging)
==EiffelBuild==
* Click [[EiffelBuild Version History|here]] for the EiffelBuild release notes.
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-64.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-64.wiki
index 17d78fdb..d078ac59 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-64.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-64.wiki
@@ -38,7 +38,14 @@
* Click [[Major changes between ISE Eiffel 6.3 and ISE Eiffel 6.4|here]] for the compiler release notes.
==Debugger==
-* Click [[Release notes for EiffelStudio 6.4 related to the debugger|here]] for the EiffelStudio debugger release notes.
+===Graphical environment===
+* Fixed various execution cursor issues in feature tool (especially with loop variant, and also inherited assertions) when debugging.
+* EiffelStudio now remembers the breakpoints and profiles even after recompiling from scratch.
+
+===Debugger engine===
+* Added support for object test locals.
+* Support void-safe expression evaluation.
+* Fixed evaluation of is_equal, equal, =, ~ in expression (watch tool).
==EiffelBuild==
* Click [[EiffelBuild Version History|here]] for the EiffelBuild release notes.
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-65.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-65.wiki
index b86f9051..40d9c281 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-65.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-65.wiki
@@ -39,7 +39,22 @@ No changes in this release.
* Improved bottom part of AutoTest tool by only having two tabs displaying test execution and test creation results.
==Debugger==
-* Click [[Release notes for EiffelStudio 6.5 related to the debugger|here]] for the EiffelStudio debugger release notes.
+===Graphical environment===
+* To move a breakpoint, you can Ctrl+RightClick on the related breakpoint icon, and Ctrl+Drop on the wanted breakpoint location.
+* Better support for attributes pick and drop into the watch tool
+* The debugger will display as text/string all descendants of READABLE_STRING_8/32 (instead of just STRING_8/32). Including IMMUTABLE_STRING_...
+* You can toggle the status of a breakpoint easily using shortcuts:
+**F9: toggle between enabled/not-set.
+**Shift+F9: toggle between enabled/disabled.
+**Ctrl+F9: open the breakpoint dialog for editing.
+
+===Debugger engine===
+* Fixed several issues related to object test locals (especially in the expression)
+* Fixed a major memory leak related to condition evaluation
+* Fixed evaluation of is_equal, equal, =, ~ in expression (watch tool).
+* It is now possible to unset an environment variable, or unset all variables, in the execution parameters dialog (see [[Execution profiles|doc]])
+* Improved support for expanded objects (especially SPECIAL of expanded)
+* Fixed memory leak related to condition breakpoints, and improved the condition breakpoints performance.
==EiffelBuild==
* Click [[EiffelBuild Version History|here]] for the EiffelBuild release notes.
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-66.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-66.wiki
index c8a589f8..67b28c22 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-66.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-66.wiki
@@ -33,7 +33,21 @@
* Improved wizard/preferences dialog for creating and executing tests, also allowing the user to skip the wizard and create new tests from default settings.
==Debugger==
-* Click [[Release notes for EiffelStudio 6.6 related to the debugger|here]] for the EiffelStudio debugger release notes.
+===Graphical environment===
+* Now, only one breakpoint dialog is opened on the same breakpoint (avoid conflict).
+* Moving a breakpoint within the same routine is now done using Drag & Dropping the breakable slot icon (red bullet).
+* Object Viewer selector no longer auto-selects XML Viewer when the string looks like XML content.
+* Added a context menu entry to "unset" an environment variable in the "Execution parameters" tool.
+* Fixed issue with remaining popup window for grid's cell.
+* Fixed regression "Keep Assertions Checking" settings for expression evaluation.
+* Added an option in the "Edit Expression" dialog to show the "full error message" (i.e: include the exception trace) when an exception occurs during expression evaluation. By default, now only the short description is shown (to improve performance), but the full error message is available upon request.
+* Added the capability of copying to the clipboard the text representation of selected call stack elements (from the call stack tool) using Ctrl+C or Ctrl+Ins (this also includes representations of local+arguments)
+
+===Debugger engine===
+* Fixed an issue in which EiffelStudio could hang when inspecting threads other than the current stopped one on platforms where thread identifiers are larger than 32-bit (e.g. Linux).
+* Fixed issue related to setting conditional breakpoint resulting in unconditional breakpoint.
+* Fixed issue in which execution is stopped in melted invariant.
+* Added support for new [[ET: Other Mechanisms#Adjusting once semantics with "once keys"|once per object]].
==EiffelBuild==
* Click [[EiffelBuild Version History|here]] for the EiffelBuild release notes.
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-67.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-67.wiki
index 1fef2c01..c28567da 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-67.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-67.wiki
@@ -23,7 +23,16 @@
* Click [[Major changes between ISE Eiffel 6.6 and ISE Eiffel 6.7|here]] for the compiler release notes.
==Debugger==
-* Click [[Release notes for EiffelStudio 6.7 related to the debugger|here]] for the EiffelStudio debugger release notes.
+===Graphical environment===
+* More compact "Execution" (debugger) menu
+* Now changing the catcall detection from the exception handling dialog has immediate impact (previously the user had to interrupt and continue the execution to see the impact)
+* It is now possible to open the exception dialog to visualize the CAT call warning exception at the debugger level.
+* Minor change, now Ctrl+Alt+C (or +Ins) will copy into clipboard the '''selected stacks''' '''without''' the (stack) values and Ctrl+C (or +Ins) will copy into clipboard the '''selected stacks''' '''with''' stack values (local and arguments)
+
+===Debugger engine===
+*Now handle correctly manifest string and string_32 in debugger (expression evaluation)
+*Improved stepping in MT debugging session. Now the debugger stays in the same thread (instead of jumping from a thread to another without any coherence).
+*Fixed void-safety issue, when trying to evaluate `Result' in watch tool (previously, it was reporting VEVI ...)
==EiffelBuild==
* Click [[EiffelBuild Version History|here]] for the EiffelBuild release notes.
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-68.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-68.wiki
index 57749eaa..04a86b77 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-68.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-68.wiki
@@ -26,7 +26,14 @@
* Click [[Major changes between ISE Eiffel 6.7 and ISE Eiffel 6.8|here]] for the compiler release notes.
==Debugger==
-* Click [[Release notes for EiffelStudio 6.8 related to the debugger|here]] for the EiffelStudio debugger release notes.
+===Graphical environment===
+* It is now possible to [[Detach application|detach the debugger]] from the application (without killing the application).
+* It is now possible to [[Attach application|attach the debugger]] to associated eiffel application launched outside EiffelStudio
+** The application has to be launched in a specific way to wait for the debugger, that is, either
+*** by setting ISE_DBG_PORTNUM environment variable to a specific port number, or
+*** by calling {RT_DEBUGGER}.rt_workbench_wait_for_debugger (a_port_number) from the program itself
+** Then with EiffelStudio, menu Execution->Attach Debuggee and provide the same port number.
+** At this point EiffelStudio is able to debug the application
==EiffelBuild==
* Click [[EiffelBuild Version History|here]] for the EiffelBuild release notes.
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-1311.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-1311.wiki
index 2157105f..6aa6c081 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-1311.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-1311.wiki
@@ -5,18 +5,30 @@
==Graphical environment==
===What's new===
+* Eiffel Information System links and other type of links are now clickable in the editor.
+* Editor shows both the Unix style or Windows style for new lines.
===Improvements===
+* Improved debug tooltip for nested feature call evaluation.
+* Improved completion window/tooltip positioning with respect to monitor coordinates and multiple displays.
+* Improved command line behavior of running tests to automatically perform the necessary compilation steps to test compiled system.
+* Completion and pick and drops will now work more reliably reliably after many edits.
===Changes===
===Bug fixes===
+* Fixed "Evaluator Died" error when running tests in AutoTest when using certain combinations of root class and creation procedure.
+* Fixed bug#18563: Supported renaming of features used in qualified anchored types when refactoring code.
+* Fixed bug#16960: Fixed an exception when showing an inherited class invariant with qualified anchored types.
+* Fixed bug#18606: When completing some code you can see that the entries are shifting by one pixel. It is only visible via remote desktop or when desktop composition is disabled.
+* Fixed bug#18614: Moving text containing Unicode characters in the editor will loose the Unicode characters.
+* Fixed bug#18611: Preventing an EiffelStudio hang when browsing ECF in the group tool when ECF refers to each other recursively.
+* Fixed bug#18679: Clicking locate button in the Eiffel Information System tool when editor is empty would crash EiffelStudio.
==Compiler==
* Click [[Major changes between ISE Eiffel 7.3 and ISE Eiffel 13.11|here]] for the compiler release notes.
==Debugger==
-* Click [[Release notes for EiffelStudio 13.11 related to the debugger|here]] for the EiffelStudio debugger release notes.
==EiffelBuild==
* Click [[EiffelBuild Version History|here]] for the EiffelBuild release notes.
@@ -28,6 +40,9 @@
===EiffelVision2===
* [[Revisions and Bug Fixes|Click here for EiffelVision2 release notes.]]
+===Eiffel Editor ===
+* Stop translating %R%N into %N on input, we now keep the original text to ensure positioning information can be easily converted by code reading text files.
+
===WEL===
[[EiffelStudio release notes|Click here to check out what was new in other versions]]
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-70.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-70.wiki
index 6abc1c1e..8977e064 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-70.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-70.wiki
@@ -31,7 +31,20 @@
* Click [[Major changes between ISE Eiffel 6.8 and ISE Eiffel 7.0|here]] for the compiler release notes.
==Debugger==
-* Click [[Release notes for EiffelStudio 7.0 related to the debugger|here]] for the EiffelStudio debugger release notes.
+=== .NET debugging ===
+* It is now possible to use the EiffelStudio debugger to debug Eiffel applications targeted to Microsoft .Net 4.0.
+{{caution|Currently, to debug Eiffel targeted to Microsoft .Net 4.0, it is necessary to set the preference "debugger.dotnet.keep_stepping_info_dotnet_feature" to "False" in order to avoid problems when using the debugger's "Step into" command.}}
+
+===Graphical environment===
+* Fixed a problem with missing tool content when an assertion violation was ignored.
+* Instances of classes IMMUTABLE_STRING_* are now correctly displayed in the debugger's tools.
+* Added a toolbar button for the "Attach" command.
+* The exception trace is now included when watch evaluation fails due to an internal error.
+* Fixed various issues in which the debugger is unable to retrieve information about an object, especially from the current object.
+* Fixed various watch evaluation issues involving argument variables.
+
+===Developer changes===
+* The {DB_BREAKABLE_POINT_INFO}.text is no longer truncated, allowing the retention of the full line of Eiffel code.
==EiffelBuild==
* Click [[EiffelBuild Version History|here]] for the EiffelBuild release notes.
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-71.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-71.wiki
index 04440171..2f9026f0 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-71.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-71.wiki
@@ -52,7 +52,11 @@
* Click [[Major changes between ISE Eiffel 7.0 and ISE Eiffel 7.1|here]] for the compiler release notes.
==Debugger==
-* Click [[Release notes for EiffelStudio 7.1 related to the debugger|here]] for the EiffelStudio debugger release notes.
+===Graphical environment===
+* Improved speed for multiple rows selection in watch tool.
+* Disable "ignore breakpoints" when launching debug session from "autotest" tool, or from execution parameters dialog.
+* Fixed a "Call on Void target" due to missing dynamic type information (Grid item crash in debugger).
+* Allowed evaluation of expressions which would not be valid if void-safety rules were applied (for example using a local that is detachable but the expression does not tell if at the evaluation time the local is attached or not).
==EiffelBuild==
* Click [[EiffelBuild Version History|here]] for the EiffelBuild release notes.
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-73.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-73.wiki
index 23393281..91e3f1df 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-73.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-73.wiki
@@ -23,7 +23,8 @@
* Click [[Major changes between ISE Eiffel 7.2 and ISE Eiffel 7.3|here]] for the compiler release notes.
==Debugger==
-* Click [[Release notes for EiffelStudio 7.3 related to the debugger|here]] for the EiffelStudio debugger release notes.
+===Graphical environment===
+* Added ability to evaluate expressions by simply hovering over the feature tool while debugging.
==EiffelBuild==
* Click [[EiffelBuild Version History|here]] for the EiffelBuild release notes.
diff --git a/documentation/current/solutions/gui-building/eiffelbuild/eiffelbuild-version-history.wiki b/documentation/current/solutions/gui-building/eiffelbuild/eiffelbuild-version-history.wiki
index 14089602..ad74c7a9 100644
--- a/documentation/current/solutions/gui-building/eiffelbuild/eiffelbuild-version-history.wiki
+++ b/documentation/current/solutions/gui-building/eiffelbuild/eiffelbuild-version-history.wiki
@@ -1,6 +1,9 @@
[[Property:title|EiffelBuild Version History]]
[[Property:weight|2]]
[[Property:uuid|8cc0540e-8ee7-c005-0534-a2ed62f41c96]]
+==13.11 Release==
+No changes.
+
== 7.3 Release ==
* Fixed a crash which could occur when generating a project.
* Fixed a crash when saving a project if it contained a pixmap with no path specified.
diff --git a/documentation/current/solutions/gui-building/eiffelvision-2/revisions-and-bug-fixes.wiki b/documentation/current/solutions/gui-building/eiffelvision-2/revisions-and-bug-fixes.wiki
index 32b0c9de..ac0bfa14 100644
--- a/documentation/current/solutions/gui-building/eiffelvision-2/revisions-and-bug-fixes.wiki
+++ b/documentation/current/solutions/gui-building/eiffelvision-2/revisions-and-bug-fixes.wiki
@@ -3,6 +3,22 @@
[[Property:uuid|eb11a237-0c75-0427-452a-303d4f276b97]]
This document contains details of modifications and bug fixes to the EiffelVision 2 library listed by the release version of EiffelStudio. All bug fixes and modifications are relative to the previously released version
+==EiffelStudio 13.11==
+'''Improvements'''
+* Added support for GTK3.
+
+'''Bug fixes'''
+*'''Platform Independent'''
+** Fixed a drawing issue in EV_GRID causing some invalid drawing
+** Fixed a crash with retrieving a RTF file containing a color or a font whose index is not starting at 1, or that it is referring to a non-defined index.
+** Fixed a bug introduced at rev#90517 with `new_line_string' that became TN instead of %N.
+** Fixed a bug retrieving font in a font table to allow spaces between the components of a font entry in the table.
+** Added code protection to find out about paragraphs as we would get an out of bound acess if the last character was a %N. This solved the case where copy/pasting some text from Word would save incorrectly, and thus the RTF being created was invalid and was losing some formatting info.
+
+*'''Windows'''
+** Fixed bug#18612: unsetting column text on addition of a new column we set with an empty text when there is no previous column text set, this prevents a side effect of unsetting a text mask on the wel list view control which doesn't seem to like being reset back when a new column is replacing it when the text mask actually is set.
+** Fixed a crash when selecting text in a EV_RICH_TEXT widget.
+
==EiffelStudio 7.3==
'''Improvements'''
* Added {EV_PIXEL_BUFFER}.stretched which gives you a stretched version of an EV_PIXEL_BUFFER. The quality of the stretched image is much better than the previous implementation of EV_PIXMAP for Windows. On Unix it is the same quality as EV_PIXMAP.