diff options
Diffstat (limited to 'lang/mozart/files/patch-doc-base-chunks.sgml')
| -rw-r--r-- | lang/mozart/files/patch-doc-base-chunks.sgml | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/lang/mozart/files/patch-doc-base-chunks.sgml b/lang/mozart/files/patch-doc-base-chunks.sgml deleted file mode 100644 index f618e2d1e5a3..000000000000 --- a/lang/mozart/files/patch-doc-base-chunks.sgml +++ /dev/null @@ -1,25 +0,0 @@ ---- ./doc/base/chunks.sgml.orig Mon Mar 1 11:48:15 2004 -+++ ./doc/base/chunks.sgml Sat Sep 3 18:46:09 2005 -@@ -11,8 +11,8 @@ - - Denys Duchier, Leif Kornstaedt, and Christian Schulte, 1998 - - - - Last change: -- - $Date: 2004/03/01 16:48:15 $ by $Author: raph $ -- - $Revision: 1.23 $ -+ - $Date: 2005/02/15 13:33:16 $ by $Author: raph $ -+ - $Revision: 1.23.2.1 $ - - - - This file is part of Mozart, an implementation of Oz 3: - - http://www.mozart-oz.org -@@ -567,9 +567,9 @@ - <Entry id=port.new><Span class=index/<<NewPort>>/ - <Index class=tails/<<Port>><And><<new>>/ - <Synopsis> -- <<{Port.new ?_{Xs} ??{Port}}>> -+ <<{Port.new ??{Xs} ??{Port}}>> - <Item> -- returns a new port pointing to the stream ?_{Xs}. -+ returns a new port, together with its associated stream ?_{Xs}. - - <Entry><Span class=index/<<Send>>/ - <Index/<<Port>><And><<send>>/ |