[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] gnu-arch axiom--book--1
|
From: |
root |
|
Subject: |
[Axiom-developer] gnu-arch axiom--book--1 |
|
Date: |
Sun, 29 Feb 2004 19:30:29 -0500 |
Also of note is that I've exported yet another effort to the Arch
archive. I've been looking at the details of integrating Axiom and ACL2.
The branch is called axiom--acl2--1 and can be retrieved by:
0. tla my-default-archive address@hidden
1. tla archive-setup axiom-acl2--1
2. tla get axiom-acl2--1
Tim