axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] gnu-arch axiom--book--1


From: David MENTRE
Subject: Re: [Axiom-developer] gnu-arch axiom--book--1
Date: Tue, 02 Mar 2004 19:17:56 +0100
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux)

Hi Camm,

Camm Maguire <address@hidden> writes:

> How does one find a list of all the branches?

Either you use tla with following command (I suppose you have a mirror
or registered Tim's archive on your local tla setting): 

  tla abrowse -A address@hidden

that gives you:

address@hidden
  axiom
    axiom--acl2
      axiom--acl2--1
        base-0 .. patch-2
 
    axiom--book
      axiom--book--1
        base-0 .. patch-9
 
    axiom--cats
      axiom--cats--1
        base-0 .. patch-1
 
    axiom--crystal
      axiom--crystal--1
        base-0 .. patch-3
 
    axiom--graphics
      axiom--graphics--1
        base-0 .. patch-2
 
    axiom--release
      axiom--release--1
        base-0 .. patch-7

Or either you use a web browser and get:

  http://axiom.tenkan.org/current/axiom/.listing

that gives you:
axiom--acl2
axiom--book
axiom--cats
axiom--crystal
axiom--graphics
axiom--release


Tla 1.1 is available as a debian package named tla.

Yours,
d.
-- 
David MENTRE <address@hidden> -- http://www.nongnu.org/axiom/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]