<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#ffffff">
From<br>
<br>
(stream-external-format <b class="moz-txt-star"><span
class="moz-txt-tag">*</span>standard-input<span
class="moz-txt-tag">*</span></b>)<br>
<br>
I get<br>
<br>
:DEFAULT<br>
<br>
<br>
<br>
Il 15/03/2011 08:20, Helmut Eller ha scritto:
<blockquote cite="mid:m2k4g097e9.fsf@common-lisp.net" type="cite">
<pre wrap="">(stream-external-format <b class="moz-txt-star"><span class="moz-txt-tag">*</span>standard-input<span class="moz-txt-tag">*</span></b>)</pre>
</blockquote>
</body>
</html>