Author: georg.brandl Revision: 86708 Property Name: svn:log Action: modified Property diff: --- old property value +++ new property value @@ -1 +1 @@ -#10511: clarification of what heaps are; suggested by Jonathan Hoff. \ No newline at end of file +#10511: clarification of what heaps are; suggested by Johannes Hoff.