[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-hackers] submission of Yangtze - savannah.gnu.org
|
From: |
attonie |
|
Subject: |
[Savannah-hackers] submission of Yangtze - savannah.gnu.org |
|
Date: |
Sun, 30 Nov 2003 03:58:12 -0500 |
|
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:0.9.9) Gecko/20020408 |
A package was submitted to savannah.gnu.org
This mail was sent to address@hidden, address@hidden
Neil Yu <address@hidden> described the package as follows:
License: gpl
Other License:
Package: Yangtze
System name: yangtze
Type: www.gnu.org
Description:
Yangtze: a high-order logic interpreter with specicification semantic plus
proof searching
Other Software Required:
POSIX, gcc
Other Comments:
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Savannah-hackers] submission of Yangtze - savannah.gnu.org,
attonie <=