[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


reply via email to

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