Re: Downloading Source

Nicholas Irving <[email protected]> Tue, 20 Dec 2005 07:12:15 +1100
Newsgroups gmane.comp.java.keel.devel
Message-ID <[email protected]>
--===============1946715700==
Content-Type: multipart/alternative; 
	boundary="----=_Part_34487_7897030.1135023135988"

------=_Part_34487_7897030.1135023135988
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

Yes they are plenty of them around, that is how I managed to get into the
state that I am currently in. All the documentation on the KeelFramework
website talks about using ant to set up projects etc.
http://www.keelframework.org/release/HEAD/docbook/keel-doc/html_chunk/manua=
l/ch01.html#install-project-create
is
one of the documents referenced and that states that in order to set up an
environment you issue ant commands. It is not till chapter 13 do you find
the commands for using Maven (Thanks Gene for pointing me in the right
direction) which I am running through now. This would explain the confusion
that I, or any new user of Keel would have.

On 12/19/05, Michael Nash <[email protected]> wrote:
>
> Nicholas:
>
> We changed to Maven for the build system for Keel some time ago. The Ant
> system is no longer operational, in fact, I'm not sure where you'd find
> any build.xml files in Keel at all, they should all have been removed!
>
> Mike
>
> On Sun, 2005-12-18 at 19:17, Nicholas Irving wrote:
> > I am confused now. I thought ANT was the build system and not Maven?
> > Any how it is easy to convert the ANT code to use both SOCKS and HTTP
> > proxies, just need to modify the ant.properties to support both and
> > then the build.xml to use the defined proxy.
> >
> >
> > On 12/16/05, Michael Nash <[email protected]> wrote:
> >         Nicholas:
> >
> >         On this page:
> >         http://maven.apache.org/maven-1.x/reference/properties.html
> >
> >         About halfway down you'll see "proxy properties", which should
> >         allow you
> >         to set up Maven to go through a proxy - this will get you
> >         access to the
> >         object code. I believe Steve just posted a link to a source
> >         mirror as
> >         well, for the source.
> >
> >         HTH!
> >
> >         Mike
> >
> >         On Thu, 2005-12-15 at 20:09, Nicholas Irving wrote:
> >         > Thanks for that. I do not have access to CVS as I am behind
> >         a proxy
> >         > which does not work with CVS. I managed to find an
> >         alternative
> >         > download site but everything was corrupt bar the RC2 source
> >         zip which
> >         > I am now using. The optusnet mirror was where I found it
> >         eventually
> >         > but I am sure the rest of the sourceforge mirrors will have
> >         copies.
> >         >
> >         > Now I am back on track, but having to modify the build
> >         scripts to get
> >         > it to work behind the proxy, the orignal config calls for a
> >         SOCKS
> >         > proxy, and all I have is a HTTP proxy, looks like it would
> >         not be too
> >         > hard to modify the script to allow both proxy types. However
> >         since I
> >         > don't have access to a SOCKS proxy I cannot test if this is
> >         going to
> >         > work.
> >         >
> >         > On 12/16/05, Michael Nash <[email protected]> wrote:
> >         >         Nicholas:
> >         >
> >         >         Apologies for the state of the doc - we're in the
> >         middle of
> >         >         cleaning up
> >         >         a new Drupal (Wiki-type) doc site at
> >         >         keelframework.org/drupal/, what you
> >         >         read is a bit out of date.
> >         >
> >         >         Best way to get the current source is straight from
> >         CVS. The
> >         >         binaries
> >         >         for Keel are downloaded with either Helm, which you
> >         can get
> >         >         from
> >         >         Sourceforge as you saw, or the necessary pieces will
> >         be
> >         >         downloaded for
> >         >         you as you build projects with Keel by Maven.
> >         >
> >         >         I am cleaning up those download instructions on the
> >         new Drupal
> >         >         doc site
> >         >         right now!
> >         >
> >         >         Mike
> >         >
> >         >         On Thu, 2005-12-15 at 18:48, Nicholas Irving wrote:
> >         >         > Hi All
> >         >         > I am confused as to how to get the source or
> >         binaries for
> >         >         this
> >         >         > project.
> >         >         >
> >         >         >
> >         >
> >
> http://66.105.113.115/vqwiki-2.3.5/jsp/Wiki?DownloaderInstructions
> >         >         > states I should be able to download
> >         >         keel_2.0ea1_default_downloader.jar
> >         >         > from the keel framework website, but the file does
> >         not exist
> >         >         there.
> >         >         > There is nothing at the SourceForge webiste, only
> >         Helm 1.8
> >         >         so cannot
> >         >         > download from their and the only download site I
> >         can find is
> >         >         @
> >         >         >
> >         http://mirror.optusnet.com.au/sourceforge/k/ke/keel/ which I
> >         >         am not
> >         >         > sure is correct.
> >         >         >
> >         >         > Nicholas Irving
> >         >         > [email protected]
> >         >         >
> >         >         >
> >         >         >
> >         >
> >
> ______________________________________________________________________
> >         >         > http://keelframework.org/documentation.shtml
> >         >         > keelgroup mailing list
> >         >         > [email protected]
> >         >         >
> >         >
> >
> http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com
> >         >
> >         >         http://keelframework.org/documentation.shtml
> >         >         keelgroup mailing list
> >         >         [email protected]
> >         >
> >
> http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com
> >         >
> >         >
> >         >
> >         >
> >
> ______________________________________________________________________
> >         > http://keelframework.org/documentation.shtml
> >         > keelgroup mailing list
> >         > [email protected]
> >         >
> >
> http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com
> >
> >         http://keelframework.org/documentation.shtml
> >         keelgroup mailing list
> >         [email protected]
> >
> http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com
> >
> >
> >
> > ______________________________________________________________________
> > http://keelframework.org/documentation.shtml
> > keelgroup mailing list
> > [email protected]
> > http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com
>
> http://keelframework.org/documentation.shtml
> keelgroup mailing list
> [email protected]
> http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com
>

------=_Part_34487_7897030.1135023135988
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

Yes they are plenty of them around, that is how I managed to get into the s=
tate that I am currently in. All the documentation on the KeelFramework web=
site talks about using ant to set up projects etc. <a href=3D"http://www.ke=
elframework.org/release/HEAD/docbook/keel-doc/html_chunk/manual/ch01.html#i=
nstall-project-create">
http://www.keelframework.org/release/HEAD/docbook/keel-doc/html_chunk/manua=
l/ch01.html#install-project-create</a>&nbsp;is one of the documents referen=
ced and that states that in order to set up an environment you issue ant co=
mmands. It is not till chapter 13 do you find the commands for using Maven =
(Thanks Gene for pointing me in the right direction) which I am running thr=
ough now. This would explain the confusion that I, or any new user of Keel =
would have.
<br><br>
<div><span class=3D"gmail_quote">On 12/19/05, <b class=3D"gmail_sendername"=
>Michael Nash</b> &lt;<a href=3D"mailto:[email protected]">mnash-EPvRxSohsaKIwRZHo2/[email protected]=
m</a>&gt; wrote:</span>
<blockquote class=3D"gmail_quote" style=3D"PADDING-LEFT: 1ex; MARGIN: 0px 0=
px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">Nicholas:<br><br>We changed to M=
aven for the build system for Keel some time ago. The Ant<br>system is no l=
onger operational, in fact, I'm not sure where you'd find
<br>any build.xml files in Keel at all, they should all have been removed!<=
br><br>Mike<br><br>On Sun, 2005-12-18 at 19:17, Nicholas Irving wrote:<br>&=
gt; I am confused now. I thought ANT was the build system and not Maven?
<br>&gt; Any how it is easy to convert the ANT code to use both SOCKS and H=
TTP<br>&gt; proxies, just need to modify the ant.properties to support both=
 and<br>&gt; then the build.xml to use the defined proxy.<br>&gt;<br>&gt;
<br>&gt; On 12/16/05, Michael Nash &lt;<a href=3D"mailto:[email protected]"=
>[email protected]</a>&gt; wrote:<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p;&nbsp;&nbsp; Nicholas:<br>&gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp=
;&nbsp;&nbsp; On this page:<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p;&nbsp; <a href=3D"http://maven.apache.org/maven-1.x/reference/properties.=
html">
http://maven.apache.org/maven-1.x/reference/properties.html</a><br>&gt;<br>=
&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; About halfway down you=
'll see &quot;proxy properties&quot;, which should<br>&gt;&nbsp;&nbsp;&nbsp=
;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; allow you<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp;&nbsp; to set up Maven to go through a proxy - this will ge=
t you
<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; access to the<br>&=
gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; object code. I believe =
Steve just posted a link to a source<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp;&nbsp;&nbsp; mirror as<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p;&nbsp; well, for the source.<br>&gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp=
;&nbsp;&nbsp;&nbsp; HTH!<br>&gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp=
;&nbsp;&nbsp; Mike
<br>&gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; On Thu, 20=
05-12-15 at 20:09, Nicholas Irving wrote:<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp;&nbsp; &gt; Thanks for that. I do not have access to CVS as=
 I am behind<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; a prox=
y<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt; which does n=
ot work with CVS. I managed to find an
<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; alternative<br>&gt=
;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt; download site but ev=
erything was corrupt bar the RC2 source<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p;&nbsp;&nbsp;&nbsp; zip which<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp;&nbsp; &gt; I am now using. The optusnet mirror was where I found it<b=
r>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; eventually
<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt; but I am sure=
 the rest of the sourceforge mirrors will have<br>&gt;&nbsp;&nbsp;&nbsp;&nb=
sp;&nbsp;&nbsp;&nbsp;&nbsp; copies.<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp; &gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p; &gt; Now I am back on track, but having to modify the build<br>&gt;&nbsp=
;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; scripts to get
<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt; it to work be=
hind the proxy, the orignal config calls for a<br>&gt;&nbsp;&nbsp;&nbsp;&nb=
sp;&nbsp;&nbsp;&nbsp;&nbsp; SOCKS<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p;&nbsp;&nbsp; &gt; proxy, and all I have is a HTTP proxy, looks like it wo=
uld<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; not be too<br>&=
gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt; hard to modify the=
 script to allow both proxy types. However
<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; since I<br>&gt;&nb=
sp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt; don't have access to a S=
OCKS proxy I cannot test if this is<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp; going to<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=
&nbsp; &gt; work.<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &=
gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt; On 12/16/0=
5, Michael Nash &lt;
<a href=3D"mailto:[email protected]">[email protected]</a>&gt; wrote:<br>&g=
t;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp; Nicholas:<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp=
;&nbsp;&nbsp;&nbsp; &gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Apologies for th=
e state of the doc - we're in the<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p;&nbsp;&nbsp; middle of
<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; cleaning up<br>&gt;&nbsp;&nbsp;&nbsp;&nb=
sp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp; a new Drupal (Wiki-type) doc site at<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp=
; <a href=3D"http://keelframework.org/drupal/">keelframework.org/drupal/</a=
>, what you<br>
&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; read is a bit out of date.<br>&gt;&nbsp;&nbs=
p;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p; Best way to get the current source is straight from<br>&gt;&nbsp;&nbsp;&=
nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; CVS. The<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp=
;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nb=
sp; binaries<br>
&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; for Keel are downloaded with either Helm, wh=
ich you<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; can get<br>=
&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; from<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Sourc=
eforge as you saw, or the necessary pieces will<br>
&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; be<br>&gt;&nbsp;&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p;&nbsp;&nbsp; downloaded for<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; you as you =
build projects with Keel by Maven.<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nb=
sp;&nbsp;&nbsp; &gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp=
; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; I am cleaning up tho=
se download instructions on the
<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; new Drupal<br>&gt;=
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbs=
p;&nbsp;&nbsp;&nbsp;&nbsp; doc site<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; right=
 now!<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;<br>&gt;&=
nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp=
;&nbsp;&nbsp;&nbsp;&nbsp; Mike<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp;&nbsp; &gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &g=
t;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; On Thu, 2005-12-15 at 18=
:48, Nicholas Irving wrote:
<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt; Hi All<br>&gt;&nbsp;&nbsp;&nbsp;&nb=
sp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp; &gt; I am confused as to how to get the source or<br>&gt;&nbsp;&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; binaries for<br>&gt;&nbsp;&nbsp;&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p;&nbsp; this<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&=
nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt; project.
<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &=
gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;<br>&gt;&nb=
sp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <a href=3D"http://66.105.113.=
115/vqwiki-2.3.5/jsp/Wiki?DownloaderInstructions">http://66.105.113.115/vqw=
iki-2.3.5/jsp/Wiki?DownloaderInstructions
</a><br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbs=
p;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt; states I should be able to down=
load<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbs=
p;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; keel_2.0ea1_default_downloader.jar<b=
r>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbs=
p;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt; from the keel framework website, but =
the file does
<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; not exist<br>&gt;&=
nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp=
;&nbsp;&nbsp;&nbsp;&nbsp; there.<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp=
;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt; The=
re is nothing at the SourceForge webiste, only<br>&gt;&nbsp;&nbsp;&nbsp;&nb=
sp;&nbsp;&nbsp;&nbsp;&nbsp; Helm 1.8<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; so c=
annot<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nb=
sp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt; download from their and the on=
ly download site I
<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; can find is<br>&gt=
;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nb=
sp;&nbsp;&nbsp;&nbsp;&nbsp; @<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;<br>&gt=
;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <a href=3D"http://mirror.=
optusnet.com.au/sourceforge/k/ke/keel/">http://mirror.optusnet.com.au/sourc=
eforge/k/ke/keel/
</a> which I<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; am not<br>&gt;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=
&nbsp;&nbsp; &gt; sure is correct.<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nb=
sp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;<b=
r>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbs=
p;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt; Nicholas Irving<br>&gt;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=
&nbsp;&nbsp; &gt; <a href=3D"mailto:[email protected]">
[email protected]</a><br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;<br>&gt;&nbsp=
;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nb=
sp;&nbsp;&nbsp;&nbsp; &gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp=
;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;<br>&gt;&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;<br>&gt;&nbsp;&nbsp;&nbs=
p;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; __________________________________________=
____________________________
<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt; <a href=3D"http://keelframework.org=
/documentation.shtml">http://keelframework.org/documentation.shtml</a><br>&=
gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&=
nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt; keelgroup mailing list<br>&gt;&nbsp;&nbs=
p;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp; &gt;=20
<a href=3D"mailto:[email protected]">[email protected]=
amework.com</a><br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt=
;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;<br>&gt;&nbsp;&nbsp;&=
nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nb=
sp;&nbsp;&nbsp;&nbsp; <a href=3D"http://lists.keelframework.com/listinfo.cg=
i/keelgroup-keelframework.com">
http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com</a>=
<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;<br>&gt;&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p;&nbsp;&nbsp;&nbsp; <a href=3D"http://keelframework.org/documentation.shtm=
l">http://keelframework.org/documentation.shtml
</a><br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbs=
p;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; keelgroup mailing list<br>&gt;&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p;&nbsp;&nbsp;&nbsp; <a href=3D"mailto:[email protected]">k=
[email protected]</a><br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp;&nbsp;&nbsp; &gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nb=
sp; <a href=3D"http://lists.keelframework.com/listinfo.cgi/keelgroup-keelfr=
amework.com">
http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com</a>=
<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;<br>&gt;&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;<br>&gt;&nbsp;&nbsp;&nbsp;&n=
bsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbs=
p;&nbsp;&nbsp; &gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=
 ______________________________________________________________________
<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &gt; <a href=3D"ht=
tp://keelframework.org/documentation.shtml">http://keelframework.org/docume=
ntation.shtml</a><br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; &=
gt; keelgroup mailing list<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp=
;&nbsp; &gt; <a href=3D"mailto:[email protected]">
[email protected]</a><br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=
&nbsp;&nbsp;&nbsp; &gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&n=
bsp; <a href=3D"http://lists.keelframework.com/listinfo.cgi/keelgroup-keelf=
ramework.com">http://lists.keelframework.com/listinfo.cgi/keelgroup-keelfra=
mework.com
</a><br>&gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <a hre=
f=3D"http://keelframework.org/documentation.shtml">http://keelframework.org=
/documentation.shtml</a><br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&=
nbsp; keelgroup mailing list<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nb=
sp;&nbsp; <a href=3D"mailto:[email protected]">
[email protected]</a><br>&gt;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;=
&nbsp;&nbsp;&nbsp; <a href=3D"http://lists.keelframework.com/listinfo.cgi/k=
eelgroup-keelframework.com">http://lists.keelframework.com/listinfo.cgi/kee=
lgroup-keelframework.com</a><br>&gt;<br>
&gt;<br>&gt;<br>&gt; ______________________________________________________=
________________<br>&gt; <a href=3D"http://keelframework.org/documentation.=
shtml">http://keelframework.org/documentation.shtml</a><br>&gt; keelgroup m=
ailing list
<br>&gt; <a href=3D"mailto:[email protected]">keelgroup@lis=
ts.keelframework.com</a><br>&gt; <a href=3D"http://lists.keelframework.com/=
listinfo.cgi/keelgroup-keelframework.com">http://lists.keelframework.com/li=
stinfo.cgi/keelgroup-keelframework.com
</a><br><br><a href=3D"http://keelframework.org/documentation.shtml">http:/=
/keelframework.org/documentation.shtml</a><br>keelgroup mailing list<br><a =
href=3D"mailto:[email protected]">[email protected]=
work.com
</a><br><a href=3D"http://lists.keelframework.com/listinfo.cgi/keelgroup-ke=
elframework.com">http://lists.keelframework.com/listinfo.cgi/keelgroup-keel=
framework.com</a><br></blockquote></div><br>

------=_Part_34487_7897030.1135023135988--

--===============1946715700==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

http://keelframework.org/documentation.shtml
keelgroup mailing list
[email protected]
http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com

--===============1946715700==--