From 967ceac724220bd8c303c241497eec4bbb56f629 Mon Sep 17 00:00:00 2001
From: halw <halw@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Mon, 25 Jun 2012 20:23:38 +0000
Subject: [PATCH] Author:manus Date:2012-06-25T19:02:33.000000Z

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1105 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
---
 ...tween-ise-eiffel-70-and-ise-eiffel-71.wiki | 21 +++++++++
 .../release-notes-eiffelstudio-71.wiki        | 45 +++++++++++++++++++
 .../eiffelbuild-version-history.wiki          |  6 +++
 3 files changed, 72 insertions(+)
 create mode 100644 documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/major-changes-between-ise-eiffel-70-and-ise-eiffel-71.wiki
 create mode 100644 documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-71.wiki

diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/major-changes-between-ise-eiffel-70-and-ise-eiffel-71.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/major-changes-between-ise-eiffel-70-and-ise-eiffel-71.wiki
new file mode 100644
index 00000000..d3e0f473
--- /dev/null
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/major-changes-between-ise-eiffel-70-and-ise-eiffel-71.wiki
@@ -0,0 +1,21 @@
+[[Property:title|Major changes between ISE Eiffel 7.0 and ISE Eiffel 7.1]]
+[[Property:link_title|7.1]]
+[[Property:weight|12]]
+[[Property:uuid|4b7325ad-4c9c-d6f8-3a25-7d2a4d709fcb]]
+==What's new==
+
+==Improvements==
+
+==Changes==
+
+==Bug fixes==
+
+===Language issues===
+
+===Compiler issues===
+
+===Runtime/code generation issues===
+
+===Store/Retrieve issues===
+
+
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
new file mode 100644
index 00000000..f700989a
--- /dev/null
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/release-notes-eiffelstudio-71.wiki
@@ -0,0 +1,45 @@
+[[Property:title|Release notes for EiffelStudio 7.1]]
+[[Property:link_title|7.1]]
+[[Property:weight|12]]
+[[Property:uuid|551e30c1-395c-27cb-e81f-d57204e68cc5]]
+==Graphical environment==
+
+===What's new===
+* New SCOOP processor garbage collection which now lets you create more than 1500 processors during one execution. There is still a limit on the number of concurrent processors you might have.
+
+===Improvements===
+* Better copy/paste of code to avoid useless reformatting after copying and pasting a block of text.
+* Better formatting of Eiffel source code when using the pretty printer.
+* Better performance of SCOOP runtime for certain types of concurrent calls.
+* Printing in postscript mode now allowed on Unix (previously, printing always defaulted to RTF).
+
+===Changes===
+
+===Bug fixes===
+* Fixed issue with automatically generated tests which included tests that should have been excluded because they represented invalid tests (e.g. precondition failures). 
+* Fixed issue where EiffelStudio would fail while trying to generate tests for a generic type whose generic derivation doesn't exist in the system.
+* Fixed a failure of EiffelStudio when trying to display the help of a compiler error.
+
+==Compiler==
+* 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.
+
+==EiffelBuild==
+* Click [[EiffelBuild Version History|here]]  for the EiffelBuild release notes.
+
+==Libraries==
+
+===EiffelBase===
+
+===EiffelThread===
+* Breaking change in class THREAD, descendants should now call {THREAD}.make in order to initialize threads properly.
+
+===EiffelVision2===
+* [[Revisions and Bug Fixes|Click here for EiffelVision2 release notes.]]
+
+===EiffelStore===
+
+[[EiffelStudio release notes|Click here to check out what was new in other versions]]  
+
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 1d1ce69b..699e3cff 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,12 @@
 [[Property:title|EiffelBuild Version History]]
 [[Property:weight|2]]
 [[Property:uuid|8cc0540e-8ee7-c005-0534-a2ed62f41c96]]
+==7.1 Release==
+No changes.
+
+==7.0 Release==
+No changes.
+
 ==6.8 Release==
 * Fixed bug#13069 and bug#17427 for the incorrect generated code of the '''change_actions''' on an EV_SPIN_BUTTON.
 * Fixed the icon view mode display for widgets where content was shown incorrectly in previous releases.