CVS difference for ais/ai-00227.txt

Differences between 1.11 and version 1.12
Log of other versions for file ais/ai-00227.txt

--- ais/ai-00227.txt	2002/06/11 05:15:45	1.11
+++ ais/ai-00227.txt	2005/12/15 02:43:48	1.12
@@ -100,7 +100,7 @@
 !corrigendum 13.13.01(10)
 
 @dinsa
-See A.12.1, ``The Package Streams.Stream_IO'' for an example of
+See A.12.1, "The Package Streams.Stream_IO" for an example of
 extending type Root_Stream_Type.
 @dinst
 If the end of stream has been reached, and Item'First is

Questions? Ask the ACAA Technical Agent