thanks, that helped
On Apr 26, 10:59 pm, mabshoff <[EMAIL PROTECTED]
dortmund.de> wrote:
> On Apr 26, 10:50 pm, "William Stein" <[EMAIL PROTECTED]> wrote:
>
>
>
>
>
> > On Sat, Apr 26, 2008 at 1:26 PM, teck <[EMAIL PROTECTED]> wrote:
>
> > > I have installed new ubuntu 8.04 hardy heron and downl
Hi:
While in a sage session, I often times want to know if I'm in the
main branch or some clone. Is there a command line way to fine out
this information?
I wonder if it to would be useful to anyone other than me. I'm guessing
it not too much trouble, for example, to modify version() to return a
p
On Sun, Apr 27, 2008 at 9:39 AM, David Joyner <[EMAIL PROTECTED]> wrote:
>
> Hi:
> While in a sage session, I often times want to know if I'm in the
> main branch or some clone. Is there a command line way to fine out
> this information?
> I wonder if it to would be useful to anyone other tha
On Sunday 27 April 2008, David Joyner wrote:
> Hi:
> While in a sage session, I often times want to know if I'm in the
> main branch or some clone. Is there a command line way to fine out
> this information?
> I wonder if it to would be useful to anyone other than me. I'm guessing
> it not too muc
This is now trac ticket 3046.
On Sun, Apr 27, 2008 at 1:38 PM, bill purvis <[EMAIL PROTECTED]> wrote:
>
>
> On Sunday 27 April 2008, David Joyner wrote:
> > Hi:
> > While in a sage session, I often times want to know if I'm in the
> > main branch or some clone. Is there a command line way to
On Apr 26, 11:59 pm, mabshoff <[EMAIL PROTECTED]
dortmund.de> wrote:
>
> but jmol, i.e. 3D plotting, is currently broken with FF3B5.
It's not really, this is the icetea java plugin, version 7. just
uninstall this browser plugin and then install the sun java6 plugin
instead (check by typing "about
On Apr 27, 11:54 pm, Harald Schilly <[EMAIL PROTECTED]> wrote:
> On Apr 26, 11:59 pm, mabshoff <[EMAIL PROTECTED]
>
> dortmund.de> wrote:
Hi,
> > but jmol, i.e. 3D plotting, is currently broken with FF3B5.
>
> It's not really, this is the icetea java plugin, version 7.
Arrg, iced tea is *still*
